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 Michael Schwar

Name: Tools and Algorithms for the Construction and Analysis of Systems Michael Schwar
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080033030
Price: 112.34 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

112,34 €

Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Einband: Taschenbuch, Autor: Michael Schwartzbach, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 572, Maße: 235x155x31 mm, Gewicht: 855 g, Verkäufer: buch-mimpf, Schlagworte: Systemtheorie (technisch) Algorithm analysis and problem complexity SPIN Systems Design algorithm algorithms automata data structure development tools formal method formal methods hybrid systems logic model checking systems analysis systems verification verification tools.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

572
Gewicht:

855
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:

6th International Conference, TACAS 2000 Held as Part of the J...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Systemtheorie (technisch) Algorithm analysis and problem comp...
ISBN:

9783540672821
Reihe:

Lecture Notes in Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2000
Anzahl der Seiten:

572 Seiten
Autor:

Michael Schwartzbach, Susanne Graf
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 Michael Schwar

Tools and Algorithms for the Construction and Analysis of Systems Taschenbuch

Tools and Algorithms for the Construction and Analysis of Systems Lenore Zuck

Tools and Algorithms for the Construction and Analysis of Systems John Hatcliff

Tools and Algorithms for the Construction and Analysis of Systems Andreas Podels

Tools and Algorithms for the Construction and Analysis of Systems Perdita Steven

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

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

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction of Analysis of Systems W. Rance Cleave

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Michael Schwar

Ähnliche Artikel

Tools and Algorithms for the Construction and Analysis of Systems Taschenbuch

Tools and Algorithms for the Construction and Analysis of Systems Lenore Zuck

Tools and Algorithms for the Construction and Analysis of Systems John Hatcliff

Tools and Algorithms for the Construction and Analysis of Systems Andreas Podels

Tools and Algorithms for the Construction and Analysis of Systems Perdita Steven

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

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

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction of Analysis of Systems W. Rance Cleave

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Cookie Hinweis