Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign / sponsors, ACM Special Interest Group on Design Automation, ACM Special Interest Group on Embedded Systems
- Författare
- Tex.) (2015 ACM and IEEE International Conference on Formal Methods and Models for Co-Design Austin
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-5090-0237-5 |