Formal Methods: Applications and Technology
53.49 EUR
Ein Fachband aus dem 11. International Workshop über formale Methoden für kritische Industriesysteme, der innovative Ansätze zur Modellierung, Verifikation und Tool‑Entwicklung in realen Anwendungen beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods: Applications and Technology, Fachbücher von Martin Leucker, Jaco van de Pol, Boudewijn Haverkort, Lubos Brim
Galaxus.de
21-04-2026 19:40:03
Ähnliche Produkte
Formal Methods for Safety and Security
90.94 EUR
Formal Methods for Safety and Security
128.39 EUR
