Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Bartocci, Ezio (Edited by)/ Ramakrishnan, C. R. (Edited by)

ISBN 10: 3642391753 ISBN 13: 9783642391750
Verlag: Springer, 2013
Sprache: Englisch
Neu Zustand: Brand New Softcover

Verkauft von Revaluation Books, Exeter, Vereinigtes Königreich

AbeBooks-Verkäufer seit 6. Januar 2003

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Brand New

Preis: EUR 79,46 Währung umrechnen
EUR 11,58 für den Versand von Vereinigtes Königreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen