Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
by André Platzer Hardcover 2010
- Author: André Platzer
- ISBN 13: 9783642145087
- ISBN 10: 3642145086
- Publication Year: 2010
- Language: English
Specifications
| Index-10 | 3642145086 |
|---|---|
| Index-13 | 9783642145087 |
| Language | English |
✨ Readers also enjoyed...
Abraham Lincoln Comparisons; Abrah…
Photo, Snap, Shot : Book #4 in the…