Cover Image

Communicating embedded systems : software and design : formal methods /

Show other versions (1)
Bibliographic Details
Uniform Title:Approches formelles des systèmes embarqués communicants.
Other Authors: Jard, Claude, Roux, Olivier H.
Format: Book
Language:English
Published: London : Hoboken, NJ : ISTE ; Ohn Wiley and Sons, 2010.
Subjects:
Embedded computer systems > Programming.
Embedded computer systems > Design and construction.
Computer software > Development.
Formal methods (Computer science)
Online Access:Publisher description

Internet

Publisher description

Remote Storage

Holdings details from Remote Storage
Call Number: TK7895.E42 A387 2010
 
Call Number Status Get It
TK7895.E42 A387 2010 Available