Critical Systems: Formal Methods and Automated Verification
53.49 EUR
Ein praxisorientierter Ratgeber, der die Prinzipien formaler Methoden für sicherheitskritische Systeme erklärt, Beispiele aus Industrieprojekten präsentiert und Techniken zur automatisierten Verifikation detailliert beschreibt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
27-04-2026 22:12:00
Gesponsert
Galaxus.de
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci
Galaxus.de
27-04-2026 18:31:07
