Mostrando 1 - 3 Resultados de 3 Para Buscar 'Zuñiga Chavez, Angel Francisco', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Diseño e implementación de un compilador para un subcojunto de python
    por Zuñiga Chavez, Angel Francisco
    Publicado 2013
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  2. 2
    Un compilador correcto verificado de mini-ml a la máquina SECD en Coq
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  3. 3
    Semántica natural como marco de verificación de compiladores en Coq
    Enlace del recurso
    Enlace del recurso
    Tesis de doctorado
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda