Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)

Berry, Gerard, Hubert Comon and Alain Finkel:

ISBN 10: 3540423451 ISBN 13: 9783540423454
Verlag: Springer, 2001
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 26,61
EUR 24,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen