Vista normal
Vista MARC
Kropf, Thomas, 1961- (Personal Name)
Machine generated authority record
Work cat.: (MX-TeUDD)269759: Kropf, Thomas, 1961- 148054, Introduction to formal hardware verification /, 1999
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