Su búsqueda recuperó 2 resultados.

Resultados
		Advances in exception handling techniques / Alexander Romanovsky ... [y otros.], (eds.) por Romanovsky, Alexander [editor]. Series Lecture notes in computer science ; 2022Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 A382. Agregar al carrito (remover)
		FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) \| Misra, Jayadev [editor] \| Nipkow, Tobias, 1958- [editor] \| Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 \| Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 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"