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

53.49 EUR

Ein kompakter Leitfaden aus dem ATVA‑Symposium 2015 in Shanghai, der innovative Ansätze zur automatisierten Verifikation und Analyse von Softwaresystemen vorstellt und praktische Beispiele liefert.

ISBN: 3319249525

MPN: 96 black & white illustrations, biograph

Angebote
Merkmale

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

Gesponsert Automated Technology for Verification and Analysis

Hugendubel

53.49 EUR 53.49 EUR

29-09-2026 11:21:10

Access to the deal

Gesponsert Automated Technology for Verification and Analysis, Fachbücher

Galaxus.de

53.49 EUR 53.49 EUR

29-09-2026 09:07:01

Access to the deal

Gesponsert Automated Technology for Verification and Analysis

SpringerLink DE

53.49 EUR 53.49 EUR

29-09-2026 16:51:38

Access to the deal

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

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis, Fachbücher

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: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Gesponsert Automated Technology for Verification and Analysis

Gesponsert Automated Technology for Verification and Analysis, Fachbücher

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: 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

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