Model Checking, second edition (Cyber Physical Systems Series)

Buch 1 von 3: Cyber Physical Systems Series

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut

ISBN 10: 0262038838 ISBN 13: 9780262038836
Verlag: The MIT Press (edition 2), 2018
Sprache: Englisch
Zustand: Gebraucht - Gut Hardcover

Verkauft von BooksRun, Philadelphia, PA, USA

AbeBooks-Verkäufer seit 2. Februar 2016

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Gut

Preis:
EUR 54,25
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen