Communicating embedded systems software and design : formal methods /

Uloženo v:

Podrobná bibliografie
Korporativní autor:	ebrary, Inc
Další autoři:	Jard, Claude, Roux, Olivier H.
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina francouzština
Vydáno:	London : Hoboken, N.J. : ISTE ; Wiley, 2010.
Témata:	Embedded computer systems > Programming. Embedded computer systems > Design and construction. Computer software > Development. Formal methods (Computer science) Electronic books.
On-line přístup:	An electronic book accessible through the World Wide Web; click to view
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet