. .
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
FILTER
- 0 Ergebnisse
Kleinster Preis: 1,24 €, größter Preis: 36,41 €, Mittelwert: 19,83 €
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Compu
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 Compu - gebrauchtes Buch

1996, ISBN: 9783540614630

ID: 903471b0161e7e425fc7939ee46b3f98

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 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., [PU: Springer, Berlin/Heidelberg]

gebrauchtes bzw. antiquarisches Buch Medimops.de
Nr. M0354061463X Versandkosten:, 3, DE. (EUR 0.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, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Martin Wirsing, Maurice Nivat
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Martin Wirsing, Maurice Nivat:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

ISBN: 354061463X

Taschenbuch, [EAN: 9783540614630], Springer, Springer, Book, [PU: Springer], Springer, Algebraic Methodology and Software Technology These conference proceedings (25 revised full papers, 23 system demonstrations) are organized into sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations. Full description, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
MEDIMOPS
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.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, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Wirsing, Martin and Maurice Nivat
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wirsing, Martin and Maurice Nivat:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1996, ISBN: 354061463X

ID: 371162

Auflage: 1996 23,1 x 15,2 x 3,3 cm, Taschenbuch 660 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek / Markierungen / gebraucht; gut, [PU:Springer,]

gebrauchtes bzw. antiquarisches Buch Achtung-Buecher.de
Mosakowski & Stiasny GbR Frank Stiasny, 61197 Florstadt
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.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, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Wirsing, Martin [Editor]; Nivat, Maurice [Editor];
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wirsing, Martin [Editor]; Nivat, Maurice [Editor];:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1996, ISBN: 9783540614630

ID: 795891841

Springer, 1996-06-19. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1996-06-19

gebrauchtes bzw. antiquarisches Buch Biblio.com
GuthrieBooks
Versandkosten: EUR 23.44
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) - Editor-Martin Wirsing; Editor-Maurice Nivat
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Editor-Martin Wirsing; Editor-Maurice Nivat:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1996, ISBN: 9783540614630

ID: 446884183

Springer, 1996-06-19. Paperback. Very Good., Springer, 1996-06-19

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 12.70
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 02.08.2017 18:19:28
ISBN/EAN: 354061463X

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


< zum Archiv...
Benachbarte Bücher