Su búsqueda recuperó 2 resultados.

Resultados
		Symbolic analysis and reduction of VLSI circuits / Zhanhai Qin, Sheldon X.D. Tan, Chung-Kuan Cheng por Qin, Zhanhai, 1976- [autor] \| Tan, Sheldon X. D [autor] \| Cheng, Chung-Kuan [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York, New York : Springer Verlag, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7874.75 Q55. Agregar al carrito (remover)
		Symbolic model checking / by Kenneth L. McMillan por McMillan, Kenneth L [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Boston : Kluwer Academic, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7888.4 M45, ... Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"