Deutsch
Österreich
Anmelden
Tipp von eurobuch.at
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
FILTER
- 0 Ergebnisse
Kleinster Preis: 0,85 €, größter Preis: 137,21 €, Mittelwert: 53,97 €
Gebr. - Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Gebr. - Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes - gebrauchtes Buch

1996, ISBN: 9783540614630

ID: 4c85e212834a1eb8b2b4acc501c97fe8

Letzte Aktualisierung am: 13.05.2018 07:08:09 Binding: Taschenbuch, Edition: 1996, Label: Springer, Publisher: Springer, medium: Taschenbuch, numberOfPages: 660, publicationDate: 2008-06-13, authors: Martin Wirsing, Maurice Nivat, languages: english, ISBN: 354061463X Bücher, Martin Wirsing -

gebrauchtes bzw. antiquarisches Buch Medimops.de
Nr. M0354061463XUsedGood. Versandkosten:Versandkostenfrei ab einem Warenkorbwert von 10€, 1-3 Tage, zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings - Martin Wirsing
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Martin Wirsing:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings - Taschenbuch

ISBN: 9783540614630

ID: 9783540614630

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings Algebraic-Methodology-and-Software-Technology~~Martin-Wirsing Technology Programming>Windows>Programming Paperback, Springer Berlin Heidelberg

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 354061463X

ID: 11109316794

[EAN: 9783540614630], Gebraucht, guter Zustand, [PU: Springer], Mathematics|Logic, Computers & the Internet|Computer Science, Computers & the Internet|Logic Design, Computers & the Internet|Programming|Software Development

gebrauchtes bzw. antiquarisches Buch Abebooks.de
medimops, Berlin, Germany [55410863] [Rating: 4 (von 5)]
NOT NEW BOOK. Versandkosten: EUR 2.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Algebraic Methodology and Software Technology: 5th International Conference, AMAST 96 Munich, Germa
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Algebraic Methodology and Software Technology: 5th International Conference, AMAST 96 Munich, Germa - gebrauchtes Buch

ISBN: 354061463X

ID: 11109316794

[EAN: 9783540614630], Gebraucht, guter Zustand, Mathematics|Logic, Computers & the Internet|Computer Science, Computers & the Internet|Logic Design, Computers & the Internet|Programming|Software Development, 907 Gramm., [PU: Springer, Berlin/Heidelberg]

gebrauchtes bzw. antiquarisches Buch Abebooks.de
medimops, Berlin, Germany [55410863] [Rating: 4 (von 5)]
NOT NEW BOOK. Versandkosten: EUR 2.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Algebraic Methodology and Software Technology - Martin Wirsing; Maurice Nivat
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Martin Wirsing; Maurice Nivat:
Algebraic Methodology and Software Technology - Taschenbuch

1996, ISBN: 9783540614630

ID: 272526

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings, 1996, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Algebraic Methodology and Software Technology

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.

Detailangaben zum Buch - Algebraic Methodology and Software Technology


EAN (ISBN-13): 9783540614630
ISBN (ISBN-10): 354061463X
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer-Verlag GmbH
660 Seiten
Gewicht: 0,982 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 10.05.2007 13:52:52
Buch zuletzt gefunden am 25.05.2018 13:18:06
ISBN/EAN: 354061463X

ISBN - alternative Schreibweisen:
3-540-61463-X, 978-3-540-61463-0


< zum Archiv...
Benachbarte Bücher