Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science (2725))

Hunt, Jr.,Somenzi, Fabio

ISBN 10: 3540405240 ISBN 13: 9783540405245
Verlag: Springer, 2003
Sprache: Englisch
Zustand: Gebraucht - Gut Softcover

Verkauft von Midtown Scholar Bookstore, Harrisburg, PA, USA

AbeBooks-Verkäufer seit 7. Juni 2002

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

Preis:
EUR 10,86
EUR 5,21 für den Versand innerhalb von/der USA

Anzahl: 1 verfügbar

In den Warenkorb legen