Automated Technology for Verification and Analysis: 11th International Symposium
Ø 0.0
0 Bewertungen
39,36 €
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:
-
ISBN-10:3319024434
-
Buchtitel:Automated Technology for Verification and Analysis
-
Untertitel:11th International Symposium, ATVA 2013, Hanoi, Vi
-
Höhe:3 cm
-
Gewicht:814 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:9783319024431
-
Reihe:Programming And Software Engineering
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2013
-
Anzahl der Seiten:544 Seiten
-
Autor:Dang Van Hung, Mizuhito Ogawa
-
Verlag:Springer International Publishing
-
Publikationsname:Automated Technology For Verification And Analysis
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 20. May 2025 und 20. May 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
