Formal verification. - an essential toolkit for modern VLSI design
- Författare
- Erik Seligman
- (Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Morgan Kaufmann Publishers | 2023 | Massachusetts, Cambridge, MA | 1 online resource (424 pages) illustrations | |
| Morgan Kaufmann | 2015 | Utgivningsland okänt / Ej specificerat |