Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783642145094
- Physical Description: XXX, 426p. 137 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.