Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science (3114))

Alur, Rajeev,Peled, Doron A.

ISBN 10: 3540223428 ISBN 13: 9783540223429
Verlag: Springer, 2004
Sprache: Englisch
Zustand: Gebraucht - Befriedigend 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 - Befriedigend

Preis:
EUR 60,46
EUR 5,16 für den Versand innerhalb von/der USA

Anzahl: 1 verfügbar

In den Warenkorb legen