Formal Methods for Industrial Critical Systems
53.49 EUR
Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der neueste Forschung zu formalen Methoden für sicherheitskritische Systeme zusammenfasst und praxisnahe Anwendungen sowie theoretische Fortschritte beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Alessandro Fantechi, Darren Cofer
Galaxus.de
27-04-2026 18:02:54
