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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formal Methods: Applications and Technology, Fachbücher von Martin Leucker, Jaco van de Pol, Boudewijn Haverkort, Lubos Brim
Galaxus.de
02-07-2026 15:47:23
Ähnliche Produkte
Formal Methods for Safety and Security
128.39 EUR
Formal Methods for Safety and Security
90.94 EUR