Communicating embedded systems : software and design : formal methods /

Includes bibliographical references and index

Dades bibliogràfiques
Autors principals: Jard, Claude, Roux, Olivier H.
Format:
Idioma:eng
Publicat: London : ISTE ; Hoboken, NJ : John Wiley and Sons, 2010
Matèries: