Automated Technology for Verification and Analysis

Dieses Buch dokumentiert die Ergebnisse des siebten ATVA-Symposiums in Macao und liefert detaillierte Einblicke in moderne Verifikationstechniken, neu ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 00:20:35
Gesponsert
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:52

Allgemein

Marke
Springer
ISBN
Springer 3642047602
MPN
Springer biography

Eigenschaften

Menü