Formal methods for the verification of digital circuits
- Författare
- Cornelis Arnoldus Josephus Van Eijk
- (Door Cornelis Arnoldus Josephus van Eijk.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Technische Univ. Eindhoven | cop. 1997 | Nederländerna, Eindhoven | xii, 144 sidor. ill. |