Grupo de Investigación en Métodos Formales
Área de Teoría de la Computación
Facultad de Ciencias de la Computación
B. Universidad Autónoma de Puebla
¿Qué es la Especificación Formal?
Una anéctoda interesante
Integrantes
M.C. José de Jesús Lavalle M.
M.C. César Bautista R.
M.I.A. José Juan Palacios P
.
Proyectos de Investigación
Vinculación intercuerpos acaémicos
Publicaciones
Tesis de Licenciatura
Reportes Técnicos
Material:
Curso de Verano en Inteligencia Artificial
Lógica Matemática
Actividades
Seminarios