RepoFI Principal
→
Trabajos escritos para titulación
→
1. Licenciatura
→
Tesis
→
Tesis 2019
→
Listar Tesis 2019 por autor

Listar Tesis 2019 por autor "Torres Ruiz, Mateo Alberto"

Mostrando ítems 1-1 de 1

Verificación formal del cálculo ASF en Coq

Torres Ruiz, Mateo Alberto (2019-08-19)

Esta tesis explora un nuevo sistema formal que busca servir de base para establecer un paradigma dentro de los lenguajes de programación capaz de aliviar las tensiones existentes entre el paradigma funcional e imperativo. ...

Mostrando ítems 1-1 de 1

Buscar en RepoFI

Búsqueda avanzada

Listar

Todo RepoFI
Esta colección

Mi cuenta

Hecho en México. Universidad Nacional Autónoma de México UNAM. Todos los derechos reservados 2021. https://www.unam.mx
Este es un portal integrado a la página web institucional de la Facultad de Ingeniería de la UNAM. Contiene textos, trabajos, investigaciones, así como vínculos con distintos sitios web, sean páginas electrónicas personales de investigación o de docentes, o bien de índole escolar, colegial o profesional. Todos los contenidos,tanto los textos como de las páginas electrónicas, son responsabilidad exclusiva de sus titulares o autores. https://www.ingenieria.unam.mx
Sitio administrado por la Coordinación del Sistema de Bibliotecas F.I. https://www.ingenieria.unam.mx/bibliotecas/
Este repositorio se rige por los preceptos de protección de datos contenidos en: Aviso de privacidad integral
y el Sistema de Calidad con las siguientes políticas: Política de calidad
Diseñador y administrador: Mtro Sergio Israel Franco García.
Contacto y asesoría

Listar Tesis 2019 por autor "Torres Ruiz, Mateo Alberto"

Listar Tesis 2019 por autor "Torres Ruiz, Mateo Alberto"

Buscar en RepoFI

Listar

Todo RepoFI

Esta colección

Mi cuenta