Tabuada, Paulo (Autor)
Verification and Control of Hybrid Systems
A Symbolic Approach
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4419-0224-5 |
|---|---|
| Seitenzahl | 202 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4761 Kbytes |