Communicating embedded systems : software and design : formal methods /

Communicating embedded systems : software and design : formal methods /

Includes bibliographical references and index

Bibliografske podrobnosti
Main Authors: Jard, Claude, Roux, Olivier H.
Format:
Jezik:eng
Izdano: London : ISTE ; Hoboken, NJ : John Wiley and Sons, 2010
Teme:
Embedded computer systems
Computer software
Formal methods (Computer science)
Opis
Izvleček:Includes bibliographical references and index

Podobne knjige/članki