Alur, Rajeev,  1966- <br/><br/>
Principles of cyber-physical systems / 
Rajeev Alur. 
 - xii, 446 pages :  illustrations ;  24 cm 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780262029117 (hardcover : alk. paper) 
<br/><br/><label>LCCN: </label>2014039755 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic control.<br/>System design.<br/>Embedded internet devices.<br/>Internet of things.<br/>Formal methods (Computer science)
<br/><br/><label>LC Class. No.: </label>TJ213  / .A365 2015 
<br/><br/><label>Dewey Class. No.: </label>006.22  / ALU/R