Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Graf, Susanne (EDT); Zhang, Wenhui (EDT)

ISBN 10: 3540472371 ISBN 13: 9783540472377
Verlag: Springer, 2006
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

AbeBooks-Verkäufer seit 28. Januar 2020

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 - Wie neu

Preis: EUR 65,73 Währung umrechnen
EUR 17,18 für den Versand von Vereinigtes Königreich nach USA Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen