Platzer, André, <br/><br/>
Logical analysis of hybrid systems   proving theorems for complex dynamics / 
André Platzer. 
 - xxx, 426 pages :  illustrations (some color) ;  24 cm 
<br/><br/>Includes bibliographical references (pages 401-413) and index. 
<br/><br/> hard cover 
<br/><br/><label>ISBN: </label>9783642145087 (hardback : acidfree paper) 
<br/><br/><label>LCCN: </label>2010934645 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System analysis.<br/>Hybrid systems.
<br/><br/><label>LC Class. No.: </label>T57.6  / .P53 2010 
<br/><br/><label>Dewey Class. No.: </label>004.259  / PLA