Automated Technology for Verification and Analysis
53.49 EUR
Dieses Werk präsentiert die neuesten Forschungsergebnisse des siebten ATVA-Symposiums in Macao und beleuchtet innovative Techniken zur automatisierten Verifikation, inklusive theoretischer Modelle, algorithmischer Fortschritte und praxisorientierter Fallstudien aus der Industrie.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn
Galaxus.de
21-04-2026 19:04:50
