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

Verification of Reactive Systems Klaus Schneider

Name: Verification of Reactive Systems Klaus Schneider
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080036829
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Verification of Reactive Systems, Untertitel: Formal Methods and Algorithms, Einband: Buch, Autor: Klaus Schneider, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 620, Maße: 241x160x43 mm, Gewicht: 1199 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Verifikation - verifizieren Automat Variable algorithms automata logic system.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Klaus Schneider
Seiten:

620
Gewicht:

1199
Einband:

Buch
Format:

241x160x43 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

Verification of Reactive Systems
Erscheinungsjahr:

20031016
Produktart:

Bücher
Buchtitel:

Verification of Reactive Systems
Untertitel:

Formal Methods and Algorithms
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Verification of Reactive Systems
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

EDV / Theorie / Software-Entw. / Allgemeines Verifikation - v...
ISBN:

9783540002963

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 17. May 2025 und 21. 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