Formal Methods for Multi-Agent Feedback Control Systems - Lars Lindemann,Dimos V. Dimarogonas
-35% ar kodu BOOKS
Piegāde 31-37 darba dienu laikā
30 dienu atgriešanas 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"--
Vairāk informācijas
| Autors | Lars Lindemann, Dimos V. Dimarogonas |
|---|---|
| Izdevējs | MIT Press Ltd |
| Izlaides gads | 2025 |
| Vāka tips | Mīkstais vāks |
| EAN | 9780262049719 |