Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings

Gerard Berry, Hubert Comon et Alain Finkel

ISBN 10: 3540423451 ISBN 13: 9783540423454
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Softcover

Verkauft von Ammareal, Morangis, Frankreich

AbeBooks-Verkäufer seit 29. August 2016

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 6,29
EUR 22,50 für den Versand von Frankreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen