Communicating embedded systems : software and design : formal methods 
edited by Claude Jard, Olivier H. Roux 
 - London ; Hoboken, NJ  ISTE Ltd/John Wiley and Sons  2009 
 - p. cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781848211438 
<br/><br/><label>ISSN: </label>2009026282 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Development<br/>Embedded computer systems - Design and construction<br/>Embedded computer systems - Programming<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>621.392 JAR