Verificación formal de árboles rojinegros

Bibliographic Details
Main Author: Hernández Chiapa, David Felipe
Other Authors: González Huesca, Lourdes del Carmen (Asesor)
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