Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

50.35 EUR 6% Off 53.49 EUR

Das Buch fasst die Ergebnisse des sechsten ATVA‑Symposiums in Seoul zusammen, präsentiert fortgeschrittene Algorithmen zur automatischen Modellprüfung und diskutiert deren Einsatz in realen Softwaresystemen.

ISBN: 354088386X

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-6%

Gesponsert Automated Technology for Verification and Analysis

preigu.de

50.35 EUR 53.49 EUR

15-06-2026 04:02:45

Access to the deal

Gesponsert Automated Technology for Verification and Analysis

SpringerLink DE

53.49 EUR 53.49 EUR

16-06-2026 04:57:36

Access to the deal

Gesponsert Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim

Galaxus.de

53.49 EUR 53.49 EUR

16-06-2026 02:11:58

Access to the deal

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim

Ähnliche Produkte

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings