Automated Technology for Verification and Analysis

Ein wissenschaftliches Werk aus dem sechsten ATVA‑Symposium in Seoul, das innovative Ansätze zur automatisierten Verifikation von Softwaresystemen ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 23-09-2026 16:54:53
Gesponsert
53.49 EUR
Preis aktualisiert am: 26-09-2026 04:15:38

Allgemein

ISBN
354088386X
MPN
biography

Eigenschaften

Menü