Su búsqueda recuperó 2 resultados.

Resultados
		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)
		Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones, eds. por CAV. Conference (18 : 2006 : Seattle, Washington) \| Ball, Thomas, 1965- [editor] \| Jones, Robert Brent, 1969- [editor]. Series Lecture notes in computer science ; 4144Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CAV 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C38 2006. 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"