Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
by Andre Platzer Paperback 2014
- Author: Andre Platzer
- ISBN 13: 9783642444746
- ISBN 10: 3642444741
- Publication Year: 2014
- Language: English
Specifications
| Index-10 | 3642444741 |
|---|---|
| Index-13 | 9783642444746 |
| Language | English |
✨ Readers also enjoyed...
Formal Methods : 26th Internationa…
Humanism
Kijimuna and Shisa (Bilingual)