Communicating embedded systems software and design : formal methods

Communicating embedded systems software and design : formal methods

Saved in:
Bibliographic Details
Other Authors: Jard, Claude, Roux, Olivier H.
Format: Unknown
Language:English
French
Published: London ISTE ohn Wiley and Sons 2010
Subjects:
Embedded computer systems > Programming
Embedded computer systems > Design and construction
Computer software > Development
Formal methods (Computer science) > Design and construction
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xii, 261 p. ill. 25 cm
Bibliography:Includes bibliographical references and index
ISBN:9781848211438
1848211430

Similar Items