The Spin Model Checker: Primer and Reference Manual

Holzmann, Gerard J.

ISBN 10: 0321228626 ISBN 13: 9780321228628
Verlag: Addison-Wesley, 2004
Sprache: Englisch
Zustand: Gebraucht - Befriedigend Hardcover

Verkauft von Anybook.com, Lincoln, Vereinigtes Königreich

AbeBooks-Verkäufer seit 22. Dezember 1999

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 69,02 Währung umrechnen
EUR 7,69 für den Versand von Vereinigtes Königreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen