Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Algebraic Methodology and Software Technology Maurice Nivat
Libristo-Code: 05274595
Verlag Springer, Berlin, November 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Buch Hardcover
common.buy 31.89 €
Toisilleen luodut Ranta / Hörbuch MP3
common.buy 7.39 €
Demnächst
CIA Tim Weiner / Buch Broschur
common.buy 18.00 €
Návštěva na Godenholmu Ernst Jünger / Buch Broschur
common.buy 10.49 €
Top
Nevera Juliet Rosenfeld / Buch Broschur
common.buy 18.99 €
English Folk Tales of Coast and Sea Lisa Schneidau / Buch Hardcover
common.buy 19.00 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Buch Broschur
common.buy 30.79 €
Det som inte syns Kopparklint / Hörbuch MP3
common.buy 6.59 €
Neu
Pringel und Finn Wreaders Verlag / Buch Hardcover
common.buy 17.00 €
La Charmante librairie des amours lointaines Jenny Colgan / Buch Broschur
common.buy 13.69 €
Wahrungskrieg IV Song Hongbing / Buch Broschur
common.buy 28.89 €
Einsichten - Ausblicke Albert Hofmann / E-Book Adobe ePub DRM
common.buy 14.79 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Buch Hardcover
common.buy 25.29 €
Au commencement du temps Bogdanov / Buch Broschur
common.buy 24.79 €
L'Idiot de la famille Sartre / Buch Hardcover
common.buy 73.69 €
Vier Stern Stunden Daniel Glattauer / Buch Hardcover
common.buy 16.69 €
Koerper trifft Seele Viktoria Georgi / Buch Broschur
common.buy 14.50 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1996
Anzahl der Seiten 647
EAN 9783540614630
ISBN 354061463X
Libristo-Code 05274595
Verlag Springer, Berlin
Gewicht 850
Abmessungen 156 x 234 x 33

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Buch Hardcover
common.buy 136.49 €
Computational Mechanics 95, 4 S.N. Atluri / Buch Broschur
common.buy 107.29 €
The Cavalier George Washington Cable / Buch Broschur
common.buy 8.39 €
Top Demnächst
Cruel Crown Victoria Aveyard / Buch Broschur
common.buy 8.39 €
Demnächst
Attack On Titan: Colossal Edition 3 Hajime Isayama / Buch Broschur
common.buy 36.59 €
Radical Traditions in Education in the 21st Century Ken Jones / Buch Broschur
common.buy 45.69 €
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Buch Broschur
common.buy 37.99 €
Most Way Home Kevin Young / Buch Broschur
common.buy 15.39 €
Great Antonio Elise Gravel / Buch Hardcover
common.buy 11.69 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Buch Broschur
common.buy 18.29 €
Eagle Visions Cindi Clarke Summerlin / Buch Broschur
common.buy 9.79 €
The Nigger from The Black Lagoon Shane Williams / Buch Hardcover
common.buy 22.09 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Buch Broschur
common.buy 108.39 €
Extracted Clover Autrey / Buch Broschur
common.buy 10.69 €
Collins Birds of the World Norman Arlott / Buch Hardcover
common.buy 82.89 €
Energy for Propulsion Akshai K. Runchal / Buch Broschur
common.buy 115.59 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Buch Broschur
common.buy 40.69 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Buch Broschur
common.buy 49.79 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-Book Adobe ePub DRM
common.buy 204.49 €
Thoughts to Reflect On Robert Burns / Buch Hardcover
common.buy 26.09 €
Beginning Biblical Hebrew Robert D. Sacks / Buch Broschur
common.buy 17.39 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Buch Broschur
common.buy 118.29 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Buch Buch
common.buy 3 187.49 €
After the Ice Steven Mithen / Buch Broschur
common.buy 19.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?