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

Introduction to static analysis

Rival, Xavier,

Introduction to static analysis : an abstract interpretation perspective / Xavier Rival and Kwangkeun Yi - xiv, 299 páginas

9780262043410


Estática

TA351 / R58

620.1/03


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