Automated Technology for Verification and Analysis
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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Automated Technology for Verification and Analysis, Fachbücher von Bernd Finkbeiner, Lijun Zhang, Geguang Pu
Galaxus.de
26-07-2026 04:55:43
SpringerLink DE 
