| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 5387ba16-2518-43fe-b025-3eb73ff02f02 |
| isbn | 9780123706164 0123706165 |
| issn | |
| language | eng |
| physical | viii, 240 pages :illustrations ;25 cm. |
| publication | – publisher: Morgan Kaufmann Publishers dateOfPublication: ©2008 |
| publishDate | ©2008 |
| subjects | |
| title | Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. |
| topic | Systems on a chip Integrated circuits Formal methods (Computer science) Formal methods (Computer science) Integrated circuits |