Automated Technology for Verification and Analysis: 7th International Symposium,
Ø 0.0
0 Bewertungen
42,18 €
Eine Lösung finden können. CDs/DVDs/Vinyls können Kratzer aufweisen, Funktion sollte aber nicht beeinträchtigt sein. Funktionsweise sollte nicht beeinträchtigt sein. Knicke oder Lesespuren können vorhanden sein, auch leichte Wasserflecken sind möglich.
Jetzt bei Ebay:
-
Produktart:Bücher
-
ISBN-10:3642047602
-
Untertitel:7th International Symposium, ATVA 2009, Macao, Chi
-
Höhe:2.4 cm
-
Länge:23.5 cm
-
ISBN:9783642047602
-
Breite:15 cm
-
Format:Taschenbuch
-
Erscheinungsjahr:2009
-
Anzahl der Seiten:Xi Seiten
-
Autor:Zhiming Liu, Anders P. Ravn
-
Verlag:Springer-Verlag Gmbh, Springer Berlin
-
Sprache:Englisch
-
Buchtitel:Automated Technology For Verification And Analysis
-
Gewicht:645 g
-
Buchreihe:Lecture Notes in Computer Science, Programming And Software Engineering
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 25. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere
