Deutsch
Schweiz
Anmelden
Tipp von eurobuch.ch
Ä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,86 €, größter Preis: 154,30 €, Mittelwert: 106,39 €
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 - neues Buch

ISBN: 9783540614630

ID: 808832906

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. 5th International Conference, AMAST ´96, Munich, Germany, July 1996, Proceedings Buch (fremdspr.) Taschenbuch 19.06.1996 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Neues Buch Orellfuessli.ch
No. 1875810. Versandkosten:Zzgl. Versandkosten. (EUR 15.60)
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 - neues Buch

ISBN: 9783540614630

ID: 836165552

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. 5th International Conference, AMAST ´96, Munich, Germany, July 1996, Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1875810. Versandkosten:, Versandfertig in 2 - 3 Tagen, 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 - Nivat, Maurice (Herausgeber); Wirsing, Martin (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nivat, Maurice (Herausgeber); Wirsing, Martin (Herausgeber):
Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings - neues Buch

1996, ISBN: 354061463X

ID: A102831

1996 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Allgemeines, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Software Engineering, Informatik, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Algebraische Spezifikation; Formale Methoden; Formale Verifikation; Reaktive Systeme; Algebraic Specification; formal method; formal methods; formal verification; logic; Programming; proving; Reactive Systems; theorem proving; verification, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]

Neues Buch Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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)
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], [SC: 2.0], [PU: Springer], Mathematics|Logic, Computers & the Internet|Computer Science, Computers & the Internet|Logic Design, Computers & the Internet|Programming|Software Development, Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

gebrauchtes bzw. antiquarisches Buch ZVAB.com
medimops, Berlin, Germany [55410863] [Rating: 5 (von 5)]
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 10.07.2018 12:59:19
ISBN/EAN: 354061463X

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


< zum Archiv...
Benachbarte Bücher