Critical Systems: Formal Methods and Automated Verification
53.49 EUR
Ein tiefgreifendes Buch, das die neuesten formalen Techniken zur Verifikation kritischer Systeme aus dem 21. Workshop zusammenführt und zugleich praktische Werkzeuge für die Industrie vorstellt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
22-04-2026 09:15:24
Gesponsert
Galaxus.de
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefania Gnesi
Galaxus.de
21-04-2026 20:05:03
