Hardware design verification: simulation and formal method-based approaches

Detalles Bibliográficos
Autor principal: Lam, William K C
Lenguaje:eng
Publicado: Prentice Hall Professional Technical Reference 2005
Materias:
Engineering
Acceso en línea:http://cds.cern.ch/record/1508347
Descripción
Descripción no disponible.

Ejemplares similares