Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.
Material type:
TextLanguage: English Original language: French Publication details: London : ISTE ; Hoboken, N.J. : Wiley, 2010.Description: xii, 261 p. : illUniform titles: - Approches formelles des syst�emes embarqu�es communicants. English.
- 621.39/2 22
- TK7895.E42 A387 2010eb
No physical items for this record
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.
There are no comments on this title.
Log in to your account to post a comment.
