Su búsqueda recuperó 2 resultados.

Resultados
		Correct hardware design and verification methods : 10th IFIP WG 10.5, advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September, 1999 : proceedings / Laurence Pierre, Thomas Kropf, (eds.) por CHARME'99 (10 : 1999 : Bad Herrenalb, Alemania) \| Pierre, Laurence [editor] \| Kropf, Thomas [editor] \| Advanced Research Working Conference on Correct Hardware Design Methodologies (10 : 1999 : Bad Herrenalb, Alemania). Series Lecture notes in computer science ; v. 1703Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7874 C3623 1999. Hacer reserva Agregar al carrito (remover)
		Introduction to formal hardware verification / Thomas Kropf por Kropf, Thomas, 1961- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7874.75 K76, ... Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"