- 0 Ergebnisse
Kleinster Preis: € 11,65, größter Preis: € 128,39, Mittelwert: € 82,03
1
Algebraic Methodology and Software Technology
Bestellen
bei Thalia.de
€ 121,99
Versand: € 0,00
Bestellen

Algebraic Methodology and Software Technology - Taschenbuch

1996, ISBN: 9783540614630

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. T… Mehr…

Nr. 1875810. Versandkosten:, Lieferbar in 2 - 3 Tage, DE. (EUR 0.00)

2
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101) - Wirsing, Martin, Nivat, Maurice
Bestellen
bei amazon.de
€ 11,65
Versand: € 3,00
Bestellen

Wirsing, Martin, Nivat, Maurice:

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101) - Taschenbuch

2008, ISBN: 9783540614630

Springer, Taschenbuch, Auflage: 1996, 660 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 4.43 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…

Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

Krocoworld
3
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101) - Wirsing, Martin, Nivat, Maurice
Bestellen
bei amazon.de
€ 104,00
Versand: € 3,00
Bestellen
Wirsing, Martin, Nivat, Maurice:
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101) - Taschenbuch

2008

ISBN: 9783540614630

Springer, Taschenbuch, Auflage: 1996, 660 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 4.43 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

Bezahlte Anzeige
4
Bestellen
bei Biblio.co.uk
$ 48,99
(ca. € 44,10)
Versand: € 17,70
Bestellen
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

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

Versandkosten: EUR 17.70

GuthrieBooks
5
Algebraic Methodology and Software Technology - Martin Wirsing; Maurice Nivat
Bestellen
bei lehmanns.de
€ 128,39
Versand: € 0,00
Bestellen
Martin Wirsing; Maurice Nivat:
Algebraic Methodology and Software Technology - Taschenbuch

1996, ISBN: 9783540614630

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

Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)


Details zum Buch
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101)

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: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science (1101), Band 1101)


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

Buch in der Datenbank seit 2007-05-10T13:52:52+02:00 (Berlin)
Detailseite zuletzt geändert am 2020-10-17T19:51:24+02:00 (Berlin)
ISBN/EAN: 354061463X

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


< zum Archiv...