| Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 Edition Contributor(s): Platzer, André (Author) |
|
 |
ISBN: 3642145086 ISBN-13: 9783642145087 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: October 2010 |
| Additional Information |
| BISAC Categories: - Computers | Hardware - Mainframes & Minicomputers - Mathematics | Logic - Computers | Intelligence (ai) & Semantics |
| Dewey: 004.19 |
| LCCN: 2010934645 |
| Physical Information: 1.2" H x 6.1" W x 9.2" (1.72 lbs) 426 pages |