Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
51.36 EUR
Der Band fasst die Beiträge der 19. FMICS‑Konferenz in Florenz zusammen, beleuchtet aktuelle Forschung zu formalen Methoden für sicherheitskritische Systeme und zeigt praxisnahe Anwendungsbeispiele auf.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang
Galaxus.de
02-07-2026 11:08:45
