Faites connaître cet article à vos amis:
Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada Softcover reprint of hardcover 1st ed. 2009 edition
Verification and Control of Hybrid Systems: A Symbolic Approach
Paulo Tabuada
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.
202 pages, black & white illustrations
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 5 novembre 2010 |
| ISBN13 | 9781441954985 |
| Éditeurs | Springer-Verlag New York Inc. |
| Pages | 202 |
| Dimensions | 155 × 235 × 11 mm · 312 g |
| Langue et grammaire | Anglais |
Voir tous les Paulo Tabuada ( par ex. Hardcover Book et Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier