Use el DOI o este identificador para enlazar este recurso:
https://hdl.handle.net/20.500.14330/TES01000796763| Sustentante: | Fernández Chaparro Plata, Javier Diego |
| Asesor(es) : | Hernández, Noé Salomón |
| Título : | Implementación de un verificador de modelos CTL simbólico en Haskell |
| Fecha de publicación : | 2019 |
| Páginas: | 1 recurso en línea (77 páginas) |
| Formato: | application/pdf |
| Medio: | computadora |
| Soporte: | recurso en línea |
| Grado : | Ingeniero en Computación |
| Escuela o Facultad : | Facultad de Ingeniería |
| 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/TES01000796763 |
| Fuente TESIUNAM: | https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000796763 |
| Aparece en las colecciones: | Tesis de licenciatura |
Texto completo:
| Archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 000796763.mrc | Registro bibliográfico en formato MARC | 1.3 kB | MARC | Visualizar/Abrir |
| 0796763.pdf | Texto Completo | 1.79 MB | Adobe PDF |  Visualizar/Abrir |
| 0796763_A2.zip | Material Complementario | 23.5 MB | Unknown | Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons
