Digital System Verification
A Combined Formal Methods and Simulation Framework
Edición de la obra Digital System Verification
| Autor | Lun Li, Mitchel Thornton |
|---|---|
| Editorial | Morgan & Claypool Publishers |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9781608451791 |
| Número de Cutter | L693d |