Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Refinar su búsqueda

Su búsqueda recuperó 2 resultados.

Ordenar
Resultados
Introduction to static analysis : an abstract interpretation perspective / Xavier Rival and Kwangkeun Yi

por Rival, Xavier [autor] | Yi, Kwangkeun [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : The MIT Press, [2020]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA351 R58, ...

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi, ed.

por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea).

Series Lecture notes in computer science ; 4134Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2006.

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


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

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

Aviso de Privacidad