Communicating embedded systems : software and design : formal methods /
Includes bibliographical references and index
| Autors principals: | , |
|---|---|
| Format: | |
| Idioma: | eng |
| Publicat: |
London : ISTE ; Hoboken, NJ : John Wiley and Sons,
2010
|
| Matèries: |