FMCAD 2009 : proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA / technically sponsored by, IEEE Council on Electronic Design Automation in cooperation with ACM SIGDA
- Författare
- Tex.) 2009 : (19th FMCAD 2009 Austin
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | |||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-5090-6978-1 |