Automated Technology for Verification and Analysis
Ein kompakter Überblick über die neuesten Fortschritte in der automatisierten Verifikation von Softwaresystemen, präsentiert im ATVA‑Symposium 20 ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 18:04:57
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 14-06-2026 06:54:48
Allgemein
ISBN
3030010899
