Formal Methods for Dynamical Systems
54.50 EUR 49.22 EUR
10% Off
Dieses Buch vermittelt fortgeschrittene Konzepte zur Modellierung und Verifikation dynamischer Systeme mittels formaler Methoden, kombiniert mathematische Präzision mit praxisnahen Fallstudien aus der Regelungstechnik.