Pastāsti draugiem par šo preci:
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics Andre Platzer 2010 edition
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Andre Platzer
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.
426 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2014. gada 28. novembris |
| ISBN13 | 9783642444746 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 426 |
| Izmēri | 155 × 235 × 24 mm · 635 g |
| Valoda | Angļu |
Vairāk no Andre Platzer
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Andre Platzer ( piem., Paperback Book un Hardcover Book )