Digital System Verification
A Combined Formal Methods and Simulation Framework
Edición de la obra Digital System Verification
| Autor | Lun Li, Mitchel Thornton |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9783031798146 |
| Número de Cutter | L693d |