Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar cover designer, Alan Studholme
- Författare
- Erik Seligman
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-0-12-800727-3 |