Automated Technology for Verification and Analysis

Dieses Buch fasst die neuesten Erkenntnisse des ATVA‑Symposiums 2015 in Shanghai zusammen und bietet einen praxisnahen Leitfaden zu automatisierten ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Technology for Verification and Analysis
Hugendubel
53.49 EUR
Preis aktualisiert am: 15-09-2026 22:28:29
Siehe Produktangebot

Allgemein

ISBN
3319249525
MPN
96 black & white illustrations, biograph

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ü