Computer Aided Verification
Eine Sammlung aktueller Forschungsergebnisse aus der 26. Internationalen Konferenz Computer Aided Verification, die neue Techniken zur formalen Analyse komplexer Softwaresysteme beleuchtet und praxisnahe Anwendungen für Entwickler bietet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere
Galaxus.de
11-06-2026 11:32:23
Ähnliche Produkte
Computer Aided Verification
42.79 EUR
Computer Aided Verification
38.98 EUR
