Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P36854664
EAN: 9783642333859
Erhältlich:
Nicht auf Lager
Zustellung: Di, 01.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50