Automated Technology for Verification and Analysis

Ein wissenschaftliches Werk aus dem sechsten ATVA‑Symposium in Seoul, das innovative Ansätze zur automatisierten Verifikation von Softwaresystemen ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Technology for Verification and Analysis
preigu.de
50.40 EUR
Preis aktualisiert am: 10-08-2026 00:56:49
Siehe Produktangebot
Gesponsert
Automated Technology for Verification and Analysis
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 10-08-2026 23:05:49
Siehe Produktangebot

Allgemein

ISBN
354088386X
MPN
biography

Eigenschaften

Ähnliche Produkte

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Produkt anzeigen
Menü