| Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 Edition Contributor(s): Platzer, André (Author) |
|
 |
ISBN: 3642444741 ISBN-13: 9783642444746 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: November 2014 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Intelligence (ai) & Semantics - Computers | Logic Design |
| Dewey: 004.19 |
| Physical Information: 0.93" H x 6.14" W x 9.21" (1.40 lbs) 426 pages |
