Platzer, André (Autor)
Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-642-14509-4 |
|---|---|
| Seitenzahl | 426 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 7207 Kbytes |