
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 | Oct 29, 2010 |
| Páginas | 200 |
| Formato | paperback |
| ISBN-13 | 9781441937391 |
| ISBN-10 | 1441937390 |
| Número de Cutter | B536s |