Formal Methods for Discrete-Time Dynamical Systems
181.89 EUR 173.34 EUR
5% Off
Ein Leitfaden zur formalen Analyse diskreter Zeitsysteme, der auf 267 Seiten theoretische Grundlagen mit praktischen Anwendungen verbindet und die Entwicklung robuster Steuerungsstrategien erleichtert.