SAT-based Scalable Formal Verification Solutions (Series on integrated circuits and systems)
- Författare
- Malay Ganai
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2007 | Utgivningsland okänt / Ej specificerat |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2007 | Utgivningsland okänt / Ej specificerat |