Formal Methods for Dynamical Systems
49.22 EUR
Dieses Buch vermittelt fortgeschrittene Konzepte zur Modellierung und Verifikation dynamischer Systeme mittels formaler Methoden, kombiniert mathematische Präzision mit praxisnahen Fallstudien aus der Regelungstechnik.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Herbert Wiklicky, Marco Bernardo, Alessandra Di Pierro
Galaxus.de
06-06-2026 08:14:56
Ähnliche Produkte
Formal Methods for Mobile Computing
53.49 EUR