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
53.49 EUR
Preis aktualisiert am: 25-10-2026 10:56:27
Gesponsert
59.00 EUR
Preis aktualisiert am: 25-10-2026 17:52:44

Allgemein

ISBN
3030010899

Eigenschaften

Menü