Formal Methods for Industrial Critical Systems
49.22 EUR
Der Sammelband aus dem FMICS‑Workshop 2013 in Madrid bietet aktuelle Forschung zu formalen Methoden für kritische Systeme, verbindet theoretische Erkenntnisse mit praktischen Fallstudien und fördert den interdisziplinären Austausch.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Charles Pecheur, Michael Dierkes
Galaxus.de
26-04-2026 00:16:47
