Communicating embedded systems software and design : formal methods /

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	ebrary, Inc
Outros autores:	Jard, Claude, Roux, Olivier H.
Formato:	Electrónico eBook
Idioma:	inglés francés
Publicado:	London : Hoboken, N.J. : ISTE ; Wiley, 2010.
Subjects:	Embedded computer systems > Programming. Embedded computer systems > Design and construction. Computer software > Development. Formal methods (Computer science) Electronic books.
Acceso en liña:	An electronic book accessible through the World Wide Web; click to view
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Internet