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
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:17:35
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 27-04-2026 18:03:19
Allgemein
Marke
Springer
ISBN
Springer 3642047602
MPN
Springer biography
