Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Name: Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080026708
Price: 93.08 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

93,08 €

Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings., Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Analysis Concurrent Systems Systemspezifikation Verteilte Systeme algorithm algorithms distributed systems logic model checking real-time systems systems specification systems verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

456
Gewicht:

686
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Tools and Algorithms for the Construction and Analysis of Systems
Buchtitel:

Tools and Algorithms for the Construction and Analysis of Systems
Untertitel:

Second International Workshop, TACAS '96, Passau, Germany, Mar...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

EDV / Theorie / Software-Entw. / Allgemeines Analysis Concur...
ISBN:

9783540610427
Reihe:

Lecture Notes in Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

1996
Anzahl der Seiten:

456 Seiten
Autor:

Tiziana Margaria, Bernhard Steffen
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Tools And Algorithms For The Construction And Analysis of Systems
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund