Scalable Hardware Verification with Symbolic Simulation
Edición de la obra Scalable Hardware Verification with Symbolic Simulation
| Autor | Valeria Bertacco |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 21, 2005 |
| Idioma | inglés |
| Páginas | 180 |
| ISBN-13 | 9780387244112 |
| ISBN-10 | 0387244115 |
| OCLC | 63197127 |
| LCCN | 2005934803 |
| Número de Cutter | B536s |