Verificación formal de árboles rojinegros
Main Author: | |
---|---|
Other Authors: | |
Format: | Tesis de licenciatura |
Published: |
MX
2021
|
Subjects: | |
Online Access: | https://hdl.handle.net/20.500.14330/TES01000813987 http://132.248.9.195/ptd2021/agosto/0813987/Index.html |
_version_ | 1832756622001176576 |
---|---|
author | Hernández Chiapa, David Felipe |
author2 | González Huesca, Lourdes del Carmen |
author2_role | Asesor |
author_facet | González Huesca, Lourdes del Carmen Hernández Chiapa, David Felipe |
author_sort | Hernández Chiapa, David Felipe |
collection | DSpace |
degree_department | Facultad de Ciencias |
degree_department_facet | Facultad de Ciencias |
degree_grantor | Universidad Nacional Autónoma de México |
degree_level | Licenciatura |
degree_name | Licenciatura en Ciencias de la Computación |
degree_name_facet | Licenciatura en Ciencias de la Computación |
format | Tesis de licenciatura |
id | 20.500.14330-TES01000813987 |
institution | Universidad Nacional Autónoma de México |
publishDate | 2021 |
publisher | MX |
record_format | dspace |
rights | http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
spelling | 20.500.14330-TES010008139872024-06-18T17:42:36Z Verificación formal de árboles rojinegros Hernández Chiapa, David Felipe González Huesca, Lourdes del Carmen Ciencias Físico - Matemáticas y de las Ingenierías 2021 Tesis de licenciatura https://hdl.handle.net/20.500.14330/TES01000813987 http://132.248.9.195/ptd2021/agosto/0813987/Index.html http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000813987 Licenciatura en Ciencias de la Computación Universidad Nacional Autónoma de México Facultad de Ciencias Licenciatura |
spellingShingle | Ciencias Físico - Matemáticas y de las Ingenierías Hernández Chiapa, David Felipe Verificación formal de árboles rojinegros |
title | Verificación formal de árboles rojinegros |
title_full | Verificación formal de árboles rojinegros |
title_fullStr | Verificación formal de árboles rojinegros |
title_full_unstemmed | Verificación formal de árboles rojinegros |
title_short | Verificación formal de árboles rojinegros |
title_sort | verificación formal de árboles rojinegros |
topic | Ciencias Físico - Matemáticas y de las Ingenierías |
url | https://hdl.handle.net/20.500.14330/TES01000813987 http://132.248.9.195/ptd2021/agosto/0813987/Index.html |
work_keys_str_mv | AT hernandezchiapadavidfelipe verificacionformaldearbolesrojinegros |