Formal equivalence checking and design debugging / by Shi-Yu Huang and Kwang-Ting (Tim) Cheng
- Författare
- Shi-Yu Huang
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-4615-5693-0 |