Universidad Nacional Autónoma de México
Instituto de Investigaciones en Materiales
Catálogo de la Biblioteca

Refinar su búsqueda

Su búsqueda recuperó 2 resultados.

Ordenar
Resultados
Formal methods for real-time computing / ed. by Constance Heitmeyer and Dino Mandrioli

por Heitmeyer, Constance L [editor] | Mandrioli, Dino [editor].

Series Trends in software ; 5Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: New York : J. Wiley, 1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.54/F667.

Fundamentals of software engineering / Carlo ghezzi, mehdi jazayeri, dino mandrioli

por Ghezzi, Carlo [autor] | Jazayeri, Mehdi [autor] | Mandrioli, Dino [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood cliffs, new jersey : Prentice Hall, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7.S8/G44.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca del Instituto de Investigaciones en Materiales

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad