Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 354061463X ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
- 0 Ergebnisse
Kleinster Preis: € 22,50, größter Preis: € 128,39, Mittelwert: € 103,71
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science, Band 1101) - 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, Band 1101) - 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., 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

Neues Buch Amazon.de (Intern...
averdo24
Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 4 - 5 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.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 - 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 - 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: 9783540614630

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Special Purpose and Application-Based Systems Algebraische Spezifikation, Formale Methoden, Formale Verifikation, Reaktive Systeme, algebraic specification, formal method, formal methods, formal verification, logic, programming, proving, reactive systems, theorem proving, verification Books, Springer Shop

Neues Buch Springer.com
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)  Auflage: 1996 - 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) Auflage: 1996 - Taschenbuch

1996, ISBN: 9783540614630

ID: 371162

Auflage: 1996 660 Seiten 23,1 x 15,2 x 3,3 cm, Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek / Markierungen / Versand D: 2,90 EUR, [PU:Springer,]

gebrauchtes bzw. antiquarisches Buch Buchfreund.de
Mosakowski GbR, 61197 Florstadt
Versandkosten:Versandkosten innerhalb der BRD. (EUR 2.90)
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.09.2018 09:50:09
ISBN/EAN: 354061463X

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


< zum Archiv...
Benachbarte Bücher