Communicating embedded systems
Communicating embedded systems software and design : formal methods / [electronic resource] :
edited by Claude Jard, Olivier H. Roux.
- London : Hoboken, N.J. : ISTE ; Wiley, 2010.
- xii, 261 p. : ill.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Embedded computer systems--Programming.
Embedded computer systems--Design and construction.
Computer software--Development.
Formal methods (Computer science)
Electronic books.
TK7895.E42 / A387 2010eb
621.39/2
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Embedded computer systems--Programming.
Embedded computer systems--Design and construction.
Computer software--Development.
Formal methods (Computer science)
Electronic books.
TK7895.E42 / A387 2010eb
621.39/2