Communicating embedded systems : software and design : formal methods /

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

Published 2010

Connect to the full text of this electronic book

eBook