Record:   Prev Next
書名 Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux
出版項 London : ISTE ; Hoboken, N.J. : Wiley, 2010
國際標準書號 9781848211438
9781118600122 (e-book)
說明 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. local
Alt Author Jard, Claude
Roux, Olivier H
ebrary, Inc
Unif Title Approches formelles des systèmes embarqués communicants. English
Record:   Prev Next