Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

ISBN 10: 3642074782 ISBN 13: 9783642074783
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Softcover

Verkauft von Ammareal, Morangis, Frankreich

AbeBooks-Verkäufer seit 29. August 2016

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Sehr gut

Preis:
EUR 14,99
EUR 20,50 shipping
Versand von Frankreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen