Logica de hoare para programas concurrentes

Logica de hoare para programas concurrentes

Detalles Bibliográficos
Autor principal:	Montero Mejia, Emma Ceclia
Otras Contribuciones:	Oktaba, Hanna (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 1985
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000003412 http://132.248.9.195/pmig2018/0003412/Index.html

Ejemplares similares

Lógica de Hoare para programación funcional
por: López García, Gilberto Isaac
Publicado: (2021)

Verificación de algoritmos concurrentes
por: Sandoval Grajeda, Israel
Publicado: (2016)

Programa de logica matematica nivel bachillerato
por: Jimenez Navarrete, Roberto
Publicado: (1994)

Un lenguaje para programacion concurrente basado en CSP
por: González Luna, Luis Alfonso
Publicado: (1990)

LPC: Un paradigma de la programacion concurrente
por: Benveniste Kuehne, Marc Vincent Jerome
Publicado: (1988)

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

Un estudio sobre programas de reforzamiento concurrentes
por: Herran Iglesias, Ma. Luisa
Publicado: (1976)

Renovación de respuestas instrumentales en programas concurrentes
por: Parra García, Eduardo
Publicado: (2014)

Logica matematica
por: Martinez Vega, Hilda
Publicado: (2000)

Lógica matemática
por: Bustamante Ll., Enrique
Publicado: (1942)

Logica infinitaria
por: Torres Falcon, Yolanda
Publicado: (1979)

Ingenieria concurrente en el proceso de diseño de productos de plastico
por: Mejia Gonzalez, Ricardo, et al.
Publicado: (1994)

Abducción y lógicas no clásicas : un acercamiento desde las lógicas adaptativas y la lógica modal
por: Leonides Jiménez, Laura Alicia
Publicado: (2011)

Logica inductiva y logica deductiva : una alternativa para la ensenanza media superior
por: Pastor Alarcon, Raul
Publicado: (1995)

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

Logica medieval explicada por Euler, antecedente de la logica formal
por: Villanueva Ledesma, José
Publicado: (2002)

Efectos de un programa concurrente RF DRL en niños
por: Espinosa Aramburu, María Celia, et al.
Publicado: (1974)

Computabilidad y logica
por: Gomez Soto, José Manuel
Publicado: (1994)

Topicos en logica
por: Ocampo Marquez, José Gabriel
Publicado: (1997)

Estructura logica de los sistemas normativos (un ensayo de logica modal)
por: Estudillo Ponce, Ma. Silvia
Publicado: (1972)

Algoritmos concurrentes por conjuntos de colas y pilas con multiplicidad
por: López Díaz, José Damian
Publicado: (2023)

Simulación numérica de un gasificador de biomasa de flujo concurrente
por: Villegas Legal, Javier Alejandro
Publicado: (2013)

Estudio del flujo de informacion de una empresa aplicando ingenieria concurrente
por: López Mendoza, Nancy Erendira
Publicado: (2004)

Diseno e implantacion de un lenguaje de programacion concurrente en Unix
por: Perez Cortés, Elizabeth
Publicado: (1992)

Principios de ingenieria concurrente y su implementacion en un proyecto piloto
por: Camacho Ortega, Martha Elena, et al.
Publicado: (1995)

Pilas y colas concurrentes de larga vida desde la perspectiva topológica
por: Zenil Rivas, Pablo Enrique
Publicado: (2020)

Implementacion de un sistema para el seguimiento, control y evaluacion concurrente de proyectos
por: Castellanos Vazquez, Gabriel
Publicado: (1996)

Lisp- Perito : un lenguaje concurrente para el desarrollo de aplicaciones en inteligencia artificial
por: Galván Jiménez, Marco Antonio
Publicado: (1989)

Logica de la negociacion
por: Corvera Poire, Xavier
Publicado: (1991)

Logica paraconsistente: una introduccion
por: Favela Vara, Sonia
Publicado: (1985)

Latices ortomodulares logica cuantica
por: Miranda Hernandez, Jesus
Publicado: (1989)

Logica temporal y computacion
por: Carrillo Barajas, Miguel
Publicado: (1993)

Programacion lineal mixta-logica
por: Osorio Lama, Maria Auxilio
Publicado: (1996)

Simulacion de procesos en la ingenieria integral y concurrente
por: Acosta Morales, Leonardo German
Publicado: (2000)

Desarrollo de proyectos a traves de ingenieria concurrente y herramientas CAD-CAE
por: Alvarez Martinez, Juan Adolfo
Publicado: (2000)

Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden
por: García Cornejo, Parmenides
Publicado: (2002)

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

Familias logicas en circuitos integrados
por: López Perez, G.A. Rafael
Publicado: (1981)

Ingeniería inversa y concurrente del interferómetro de motas Berkut para telescopios de clase 1 metro
por: López Cruz, Rogelio
Publicado: (2014)

Analisis del desempeño de un cluster beowulf en diversos algoritmos de tipo concurrente
por: Juarez Sosa, Julio Cesar, et al.
Publicado: (2001)