Automated Technology for Verification and Analysis
Ein Fachbuch aus dem sechsten ATVA‑Symposium in Seoul, das fortgeschrittene Methoden zur automatischen Verifikation von Softwaresystemen zusammenfasst und neue Algorithmen für Modellprüfung sowie praktische Anwendungen beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
preigu.de
Gesponsert
Galaxus.de
Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moonzoo Kim
Galaxus.de
03-08-2026 08:59:12
SpringerLink DE 
