Listar Computación por autor "Cornejo Torres, Pedro Arturo"
Mostrando ítems 1-1 de 1
-
Localización de errores de diseño en circuitos secuenciales sincrónicos mediante métodos formales de satisfacibilidad
Cornejo Torres, Pedro Arturo (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009)