Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)

Henzinger, Thomas, Alur, Rajeev

ISBN 10: 3540614745 ISBN 13: 9783540614746
Verlag: Springer, 2008
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Softcover

Verkauft von Leserstrahl (Preise inkl. MwSt.), Oldenbüttel, Deutschland

AbeBooks-Verkäufer seit 11. März 2015

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 9,85
EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen