TY  - BOOK
AU  - Jard, Claude
AU  - Roux, Olivier H
TI  - Communicating embedded systems : software and design : formal methods
SN  - 9781848211438
SN  - 200902628
U1  - 621.392 JAR 
PY  - 2009///
CY  - London ; Hoboken, NJ
PB  - ISTE Ltd/John Wiley and Sons
KW  - Computer software - Development
KW  - Embedded computer systems - Design and construction
KW  - Embedded computer systems - Programming
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -