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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci
Galaxus.de
06-07-2026 18:05:17
