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

Computer Aided Verification A. Prasad Sistla

Name: Computer Aided Verification A. Prasad Sistla
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080042258
Price: 106.99 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

106,99 €

Titel: Computer Aided Verification, Untertitel: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings, Einband: Taschenbuch, Autor: A. Prasad Sistla, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 600, Maße: 235x155x33 mm, Gewicht: 896 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Testmethoden Design Hardware verification Java Program Verification algorithm algorithms automata automated deduction formal methods formal verification model checking programming systems analysis systems verification verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

600
Gewicht:

896
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

Computer Aided Verification
Buchtitel:

Computer Aided Verification
Untertitel:

12th International Conference, CAV 2000 Chicago, IL, USA, July...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

EDV / Theorie / Software-Entw. / Testmethoden Design Hardwar...
ISBN:

9783540677703
Reihe:

Lecture Notes in Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2000
Anzahl der Seiten:

600 Seiten
Autor:

E. Allen Emerson, A. Prasad Sistla
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Computer Aided Verification
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 25. June 2025 und 27. June 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