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!

Internet