Verificación formal de árboles rojinegros

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:	Ciencias Físico - Matemáticas y de las Ingenierías
Online Access:	https://hdl.handle.net/20.500.14330/TES01000813987 http://132.248.9.195/ptd2021/agosto/0813987/Index.html

Similar Items

Verificación formal en lógica modal
by: Prieto Larios, Estefanía
Published: (2018)

Verificación formal del zipper relacional simétrico
by: Galicia Mendoza, Fernando Abigail
Published: (2018)

Verificación formal de programas con lógicas de separación
by: Medina Martínez, Diego Roberto
Published: (2021)

Verificación formal del cálculo λSF en Coq
by: Torres Ruiz, Mateo Alberto
Published: (2019)

Verificación formal y programación certificada en COQ con Program : un ejemplo práctico
by: Carrillo Verduzco, Diego
Published: (2020)

Verificacion Formal del Estado Social de Derecho en Mexico
by: Zarate Perez, José Humberto
Published: (1985)

Árboles aleatorios y propiedades fractales de los árboles cíclicos estables
by: Márquez Vázquez, Daniel Antonio
Published: (2015)

Topologia y arboles
by: Bautista Granados, Juan Miguel
Published: (2006)

Verificacion de dispensarios de combustible
by: Gil Hernandez, Simon Israel
Published: (2007)

Verificación de algoritmos concurrentes
by: Sandoval Grajeda, Israel
Published: (2016)

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos
by: Góngora Luna, Pedro Arturo
Published: (2014)

Arboles, arborescencias y bosques
by: Davalos Orozco, Oscar
Published: (1991)

Propiedades combinatorias sobre árboles
by: Lara Mary, Manuel Alejandro
Published: (2013)

Verificación a estaciones de servicio de combustible
by: Torres Hernández, Rogelio
Published: (2009)

Aproximación de dendroides por árboles
by: Ordorica Arango, Marcela
Published: (2018)

Conjuntos proyectivos, árboles y aplicaciones
by: Fernandez Vazquez, Hector Rodrigo
Published: (2022)

Esquemas formales
by: Reyes Morales, Araceli
Published: (2014)

Verificacion fisica de obras hidraulicas : auditoria
by: Luna Garduno, Francisco
Published: (1977)

Analisis de riesgos en una planta de fuerza y servicios auxiliares aplicando las tecnicas ¿que pasa si--?, listas de verificacion, Hazop, arbol de fallas y análisis de consecuencias
by: Flores del Campo, Hugo
Published: (2004)

Regresión logística y árboles de clasificación
by: Samaniego de la Fuente, Ricardo
Published: (2015)

Compresion de datos mediante arboles sufijo
by: García Herrera, Ricardo
Published: (2002)

Los shifts y autómatas de árboles
by: González Moctezuma, Pablo
Published: (2014)

Respuesta eólica de monopolos tipo árbol
by: González Sánchez, Germán
Published: (2019)

El arbol de los numeros sobrenaturales
by: Mercado Fernandez, Araceli Eugenia
Published: (1991)

Implementaciones funcionales de árboles roji-negros
by: López Campos, Graciela
Published: (2015)

Programación origami : cómo doblar un árbol
by: Enríquez Mendoza, Javier
Published: (2020)

Sistema de control de verificacion de predios
by: Ramirez Ney, Victoria
Published: (2001)

Control y verificacion de calidad de concreto
by: Santiago del Castillo, Antonio
Published: (1979)

Verificación del número de configuraciones (19_4) en paralelo
by: Hernández Patiño, Víctor Andrés
Published: (2016)

Caracterización de dendroides por retracciones sobre árboles
by: García Martínez, Ricardo
Published: (2021)

Número de subdivisión y multisubdivisión de árboles
by: Diez Marina Robles, Norma
Published: (2017)

Árboles algoritmicos en la teoría de Bocses
by: Zuazua Vega, Rita Esther
Published: (1999)

El tamaño de los 3-arboles minimos
by: Tey Carrera, Joaquin
Published: (2000)

Árboles continuos y la excursión browniana normalizada
by: Muñoz Medina, Andrés
Published: (2010)

Modelos matemáticos para la generación árboles filogenéticos
by: Yañez Aroche, Karina
Published: (2022)

Verificacion objetiva de campañas de estimulacion de lluvia
by: Calderon García, Juan José
Published: (2001)

Aprendizaje profundo aplicado a la verificación de autoría
by: Araujo Pino, Alan Emir
Published: (2021)

Verificación de la linealizabilidad en tiempo de ejecución
by: Rodríguez Jiménez, Gilde Valeria
Published: (2022)

Verificacion y pruebas de aceptacion de maquinas herramientas
by: Morales Flores, Esau, et al.
Published: (1991)

Planificación de trayectorias basada en verificación de modelos
by: Fernández García, Pablo
Published: (2022)