Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
SKU: P37018485
Price: 57.50 CHF
Availability: InStock
ISBN: 9783540883869

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Sungdeok Cha

▪Jin Young Choi

▪Moonzoo Kim

Verlag:

Springer EN

Unsere-Artikel-Nr.: P37018485

EAN: 9783540883869

Erhältlich:

Nicht auf Lager

Zustellung: Di, 03.11.2026

Versand: Kostenlos

-16.7 %

CHF 69.–

CHF 57.50