Model Checking

Buch 1 von 3: Cyber Physical Systems Series

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

ISBN 10: 0262038838 ISBN 13: 9780262038836
Verlag: The MIT Press, 2018
Sprache: Englisch
Zustand: Gebraucht - Befriedigend Hardcover

Verkauft von GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

AbeBooks-Verkäufer seit 28. Januar 2020

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 - Befriedigend

Preis:
EUR 63,54
EUR 17,68 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen