Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).

Graf, Susanne and Wenhui Zhang (Edts.):

Verlag: Berlin, Springer, 2006
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland

Verbandsmitglied:

AbeBooks-Verkäufer seit 3. Mai 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 - Wie neu

Preis: EUR 16,90 Währung umrechnen
EUR 1,50 für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen