SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

Visser, Willem, John Penix and Klaus Havelund:

ISBN 10: 3540410309 ISBN 13: 9783540410300
Verlag: Springer 13.06.2008., 2008
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Softcover

Verkauft von NEPO UG, Rüsselsheim am Main, Deutschland

AbeBooks-Verkäufer seit 15. November 2018

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 21,99
EUR 24,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen