Automated Technology for Verification and Analysis
53.49 EUR
Ein Fachbuch, das die neuesten Forschungsergebnisse des ATVA‑Symposiums 2015 aus Shanghai zusammenfasst; es beleuchtet fortschrittliche Verifikationsmethoden und bietet praxisorientierte Analysetechniken für komplexe Softwaresysteme.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Automated Technology for Verification and Analysis, Fachbücher
Galaxus.de
21-04-2026 19:55:21
