Communicating embedded systems software and design : formal methods /

Sparad:

Bibliografiska uppgifter
Institutionellt upphov:	ebrary, Inc
Övriga upphov:	Jard, Claude, Roux, Olivier H.
Materialtyp:	Elektronisk E-bok
Språk:	engelska franska
Utgiven:	London : Hoboken, N.J. : ISTE ; Wiley, 2010.
Ämnen:	Embedded computer systems > Programming. Embedded computer systems > Design and construction. Computer software > Development. Formal methods (Computer science) Electronic books.
Länkar:	An electronic book accessible through the World Wide Web; click to view
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Internet