Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 28 november 2014 |
| ISBN13 | 9783642444746 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 426 |
| Afmetingen | 155 × 235 × 24 mm · 635 g |
| Taal en grammatica | Engels |
Meer door Andre Platzer
Alles tonenBekijk alles van Andre Platzer ( bijv. Paperback Book en Hardcover Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld