All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
product image
product image
product image
product image

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

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

53.49 EUR 53.49 EUR
25-04-2026 11:26:35
Access to the deal

Gesponsert Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn

53.49 EUR 53.49 EUR
25-04-2026 23:58:11
Access to the deal

Ähnliche Produkte

Automated Technology for Verification and Analysis

53.49 EUR
Produkt anzeigen

Automated Technology for Verification and Analysis

53.49 EUR
Produkt anzeigen

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

53.49 EUR
Produkt anzeigen

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

53.49 EUR
Produkt anzeigen