1. Repositorio del IIMAS
  2. Posgrado en Ciencia e Ingeniería de la Computación
  3. Tesis de Maestría
Use el DOI o este identificador para enlazar este recurso: http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000744277
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorHernández Quiroz, Francisco
dc.contributor.advisorMiranda Perea, Favio Ezequiel
dc.creatorZúñiga Chávez, Ángel Francisco
dc.date.accessioned2021-05-17T01:41:16Z
dc.date.accessioned2025-03-13T19:43:15Z
dc.date.accessioned2025-06-30T17:47:37Z-
dc.date.available2021-05-17T01:41:16Z
dc.date.available2025-03-13T19:43:15Z
dc.date.available2025-06-30T17:47:37Z-
dc.date.created2016-05-03T00:00:00
dc.date.issued2016
dc.identifier.urihttp://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000744277-
dc.format.extent1 recurso en línea (214 páginas)
dc.format.mediumcomputadora
dc.format.mimetypeapplication/pdf
dc.languagespa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.source.urihttps://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000744277
dc.subject.classificationCiencias Físico - Matemáticas y de las Ingenierías
dc.titleUn compilador correcto verificado de mini-ml a la máquina SECD en Coq
dc.typeTesis de maestría
dcterms.contributorHernández Quiroz, Francisco::orcid::0000-0002-9748-0201::role::asesorTesis
dcterms.contributorMiranda Perea, Favio Ezequiel::orcid::0000-0003-0436-5034::role::asesorTesis
dcterms.creatorZúñiga Chávez, Ángel Francisco::si::SinIdentificador
dcterms.title|a Un compilador correcto verificado de mini-ml a la máquina SECD en Coq |c tesis que para obtener el grado de Maestría en Ciencia e Ingeniería de la Computación, presenta Ángel Francisco Zúñiga Chávez ; tutores principales de tesis Francisco Hernández Quiroz, Favio Ezequiel Miranda Perea
dc.identifier.urlhttp://132.248.9.195/ptd2016/mayo/0744277/Index.html
dc.rights.accessrightsAcceso en línea sin restricciones
dc.publisher.locationMX
dc.type.versionpublishedVersion
dc.degree.grantorUniversidad Nacional Autónoma de México
dc.degree.departmentPrograma de Posgrado en Ciencia e Ingeniería de la Computación
dc.degree.nameMaestría en Ciencia e Ingeniería de la Computación
dc.degree.levelMaestría
dc.format.supportrecurso en línea
dc.date.modified2023-11-25T00:00:00
Aparece en las colecciones: Tesis de Maestría

Texto completo:
Archivo Descripción Tamaño Formato  
000744277.mrcRegistro bibliográfico en formato MARC1.49 kBUnknownVisualizar/Abrir
0744277.pdfTexto Completo1.19 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del recurso


Este recurso está sujeto a una Licencia Creative Commons Creative Commons