Vista normal Vista MARC

Circuitos integrados-Verificación (Topical Term)

Número de registros utilizados en: 1
Forma preferida: Circuitos integrados-Verificación

Machine generated authority record

Work cat.: (MX-TeUDD)269759: Kropf, Thomas, 1961- 148054, Introduction to formal hardware verification /, 1999

Sistema de Gestión Bibliotecaria Koha - Un desarrollo de L.B. Ulises Castrejón M. y L.I. Alejandro Castrejón M. para la Universidad Autónoma de Nayarit