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

Internet

http://cds.cern.ch/record/1508347

Ejemplares similares