Vista normal
Vista MARC
Circuitos integrados-Diseño asistido por computador-Integración a muy gran escala (Topical Term)
Machine generated authority record
Work cat.: (MX-TeUDD)269759: Kropf, Thomas, 1961- 148054, Introduction to formal hardware verification /, 1999