Formal Methods for Multi-Agent Feedback Control Systems - Lars Lindemann,Dimos V. Dimarogonas
-35% su kodu BOOKS
Pristatymas per 31-37 d.d.
30 dienų grąžinimo politika
"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--
Aprašymas
"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--
Daugiau informacijos
| Autorius | Lars Lindemann, Dimos V. Dimarogonas |
|---|---|
| Leidėjas | MIT Press Ltd |
| Išleidimo metai | 2025 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9780262049719 |