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

Formal development of programs and proofs /

Formal development of programs and proofs / Ed. by edsger w. dijkstra - 242 páginas - The ut year of programming series .

0201172372


Procesamiento electrónico de datos--Programacion--Congresos

QA76.6 / F67


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