Name: Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Brand: Springer
SKU: ID12359163
Availability: InStock

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

59.00 EUR

Erkunden Sie die neuesten Fortschritte aus dem siebten ATVA-Symposium in Macao – von formalen Verifikationsmethoden über innovative Algorithmen bis hin zu praxisnahen Fallstudien, die die Brücke zwischen Theorie und Industrie schlagen.

Marke: Springer

ISBN: 3642047602

MPN: biography

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

SpringerLink DE

59.00 EUR 59.00 EUR

10-08-2026 03:58:29

Access to the deal

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

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: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Gesponsert Automated Technology for Verification and Analysis

Ähnliche Produkte

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

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

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