SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Un compilador correcto verificado de mini-ml a la máquina SECD en Coq
Sinodales:
FRANCISCO HERNANDEZ QUIROZ
;
FAVIO EZEQUIEL MIRANDA PEREA
;
Autores:
Zúñiga Chávez, Ángel Francisco
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Coordinación de Estudios de Posgrado
Entidades por adscripción en la UNAM:
Facultad de Ciencias; Facultad de Ciencias;
Fuente:
Tipo de producto:
TESIS
URL:
Ver tesis