Use el DOI o este identificador para enlazar este recurso:
https://hdl.handle.net/20.500.14330/TES01000812770
Sustentante: | Zúñiga Chávez, Ángel Francisco |
Asesor(es) : | Sierra Martínez, Gerardo Eugenio Bel Enguix, Gemma |
Título : | Semántica natural como marco de verificación de compiladores en Coq |
Fecha de publicación : | 2021 |
Páginas: | 1 recurso en línea (121 páginas) |
Formato: | application/pdf |
Medio: | computadora |
Soporte: | recurso en línea |
Grado : | Doctorado en Ciencia e Ingeniería de la Computación |
Escuela o Facultad : | Programa de Posgrado en Ciencia e Ingeniería de la Computación Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas |
Institución : | Universidad Nacional Autónoma de México |
Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
URI : | https://hdl.handle.net/20.500.14330/TES01000812770 |
Fuente TESIUNAM: | https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000812770 |
Aparece en las colecciones: | Tesis de doctorado |
Texto completo:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
000812770.mrc | Registro bibliográfico en formato MARC | 1.83 kB | MARC | Visualizar/Abrir |
0812770.pdf | Texto Completo | 1.29 MB | Adobe PDF | ![]() Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons