Springer
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Product Code:
9783642145087
ISBN13:
9783642145087
Condition:
New
$118.37
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
$118.37
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
| Author: Andr? Platzer |
| Publisher: Springer |
| Publication Date: Sep 05, 2010 |
| Number of Pages: 426 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3642145086 |
| ISBN-13: 9783642145087 |