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

50.40 EUR 15% Off 59.00 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

-15%

Gesponsert Automated Technology for Verification and Analysis

preigu.de

50.40 EUR 59.00 EUR

10-08-2026 00:56:49

Access to the deal

-9%

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

Galaxus.de

53.49 EUR 59.00 EUR

03-08-2026 08:59:12

Access to the deal

Gesponsert Automated Technology for Verification and Analysis

SpringerLink DE

59.00 EUR 59.00 EUR

10-08-2026 03:58:27

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, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim

Gesponsert Automated Technology for Verification and Analysis

Ä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, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim

Gesponsert Automated Technology for Verification and Analysis

Ä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