Estudio de diversos metodos de especificacion formal de programas

Estudio de diversos metodos de especificacion formal de programas

Detalles Bibliográficos
Autor principal:	Marquez Flores, Gustavo Arturo
Otras Contribuciones:	Ibarguengoitia González, María Guadalupe Elena (Asesor)
Formato:	Tesis de licenciatura
Lenguaje:	Español
Publicado:	1988
Materias:	Ciencias Físico-Matemáticas e Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000077310 http://132.248.9.195/pmig2017/0077310/Index.html

Ejemplares similares

Métodos formales ligeros : especificación de un sistema de elevadores en el analizador Alloy
por: Jiménez del Valle, Rodrigo
Publicado: (2011)

Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy
por: Cortés Ortiz, Juan Carlos
Publicado: (2011)

Especificacion formal e implantacion de un protocolo por difusion tolerante a fallas
por: Vallejo Gutierrez, José Refugio
Publicado: (1993)

Especificaciones y metodos de pruebas de carpetas bituminosas
por: Vega Zermeno, Arturo
Publicado: (1952)

Especificacion formal de un modelo conceptual para bases de datos orientadas a objetos
por: Montero Mejia, Emma Cecilia
Publicado: (1987)

Especificacion formal de un modelo conceptual para bases de datos orientados a objetos
por: Montero Mejia, Emma Cecilia
Publicado: (1987)

Especificacion y selecion de sellos mecanicos para bombas centrifugas
por: Flores Aleman, Oscar Arturo
Publicado: (1996)

Construccion de pisos de concreto con alta especificaciones
por: Guillen de la Rosa, Gustavo
Publicado: (1997)

Estudio general sobre autoedicion y análisis comparativo entre diversos programas existentes
por: Flores Villalobos, Ana Cristina
Publicado: (1991)

Estudio de problematica y especificaciones en circuito impreso
por: Soriano Gonzalez, Javier
Publicado: (1987)

Especificaciones y procedimientos de dragado
por: Cruz Ortiz, Moisés Alejandro
Publicado: (1990)

Fundamentos de las especificaciones algebraicas
por: Saldivar Ugalde, Alejandro Isidoro
Publicado: (1991)

Normas, especificaciones y equipo para demoliciones
por: Galindo Vazquez, Cirilo
Publicado: (1989)

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

Estudio de especificaciones en la resolucion de problemas de pandeo
por: Rozado Perez, Fernando
Publicado: (1961)

Especificaciones generales de construccion para obras urbanas
por: Antunez Moreno, José Ramon T.
Publicado: (1968)

Estudio comparativo de las especificaciones AISC-1949 y las especificaciones para diseño de estructuras metalicas del Reglamento de las construcciones para el Distrito Federal
por: Bobadilla Vilchis, Guillermo
Publicado: (1968)

Especificaciones generales de construccion de obras viales urbanas
por: Rodas Castaneda, José Luis
Publicado: (1985)

Especificaciones técnicas informadas en riesgo : frecuencias de vigilancia
por: Bonnet Alamo, Alberto
Publicado: (2019)

Criterios para la formulacion de especificaciones para concreto
por: Betancourt Delgadillo, Jesus
Publicado: (1963)

Programas de orientados a estados : su relacion con programas logicas y lenguajes formales
por: Alvarez Manilla Villanueva, Mauricio
Publicado: (1995)

Revision y descripcion de diversos metodos de estimacion por intervalos
por: Gongora Treviño, Hortensia
Publicado: (1988)

Proyecto de especificaciones geometricas para caminos de bajo costo
por: Magallanes Negrete, Roberto
Publicado: (1999)

Diseño de pavimentos rígidos y flexibles de altas especificaciones
por: Hernández Carmona, Jesús Eduardo, et al.
Publicado: (2015)

Especificaciones en el control de calidad en la construccion
por: García Jimenez, Jorge Martin
Publicado: (2000)

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

Esquemas formales
por: Reyes Morales, Araceli
Publicado: (2014)

Sistema computarizado de cuantificacion de obra y especificaciones
por: Feng, Haiying
Publicado: (1988)

Sistemas de evaluacion y especificacion de requerimientos en imagenes stelitales
por: Pantoja Ramos, Juan Miguel
Publicado: (2000)

Criterios para la especificacion de un sistema de control distribuido
por: Gonzalez López, Maria del Carmen
Publicado: (1993)

Especificaciones para la compra-venta de gas natural de exportacion
por: Cabadas Ayluardo, Lucrecia Eugenia
Publicado: (1990)

Estudio y aplicacion de diversos metodos para calcular presiones de fondo estaticas y pozo fluyendo, y su diferencia con la medicion directa
por: Cuellar Angulo, Carlos Gustavo
Publicado: (1955)

Especificaciones para la compra-venta del gas natural de exportacion
por: Cordoba Mireles, Maria del Rosario, et al.
Publicado: (1988)

Revisión y especificación de capacidades interruptivas y esfuerzos momentáneos en sistemas eléctricos industriales
por: Mejía Romero, Arturo, et al.
Publicado: (2012)

Especificación técnica de un sistema SCADA aplicada a instalaciones petroleras
por: Chavarría Meza, Mitzi
Publicado: (2008)

Reflexiones sobre las normas y especificaciones de construccion en edificacion
por: García Vasquez, José Victor Manuel
Publicado: (1976)

Desarrollo de programa de cómputo para la especificación de tuberías de proceso (índice de líneas)
por: Aguilar Ramírez, Nayeli Elizeth
Publicado: (2014)

Pruebas de soldabilidad de diversos materiales por el metodo de soldadura tig
por: Luciano Sarabia, Victor Manuel
Publicado: (2013)

Axiomática formal del programa neowalrasiano
por: Martínez Mendoza, Sergei Arturo
Publicado: (2021)

Diversos metodos de valoracion del paraldehido
por: Porras Marquez, Nora Leticia
Publicado: (1959)