Su búsqueda recuperó 2 resultados.

Resultados
		Certifications of critical systems - The CECRIS experience / Andrea Bondavalli and Francesco Brancati (editors) por Bondavalli, Andrea [editor] \| Brancati, Francesco [editor]. Series River Publishers Series in Information Science and TechnologyTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Denmark : River publishers, [2017]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 C46. Agregar al carrito (remover)
		Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) por CAV Conference (16 : 2004 : Boston, Massachusetts) \| Alur, Rajeev, 1966- [editor] \| Peled, Doron A, 1962- [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ... 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"