Trabajo de grado

Estudio de diversos metodos de especificacion formal de programas

Marquez Flores, Gustavo Arturo

Facultad de Ciencias, UNAM, Tesis y cosechado de y cosechado de Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

Licencia de uso

La titularidad de los derechos patrimoniales de esta obra pertenece a Marquez Flores, Gustavo Arturo. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 1988, para un uso diferente consultar al responsable jurídico del repositorio en bidi@dgb.unam.mx. Ver términos de la licencia

Procedencia del contenido

Cita

Marquez Flores, Gustavo Arturo. (1988). "Estudio de diversos metodos de especificacion formal de programas". (Tesis de Licenciatura). Universidad Nacional Autónoma de México, México. Recuperado de https://repositorio.unam.mx/contenidos/194227

Descripción del recurso

Autor(es)
Marquez Flores, Gustavo Arturo
Asesor(es)
Ibarguengoitia González, María Guadalupe Elena asesor
Tipo
Tesis de licenciatura
Área del conocimiento
Físico Matemáticas y Ciencias de la Tierra
Título
Estudio de diversos metodos de especificacion formal de programas
Fecha
1988
Grado
Licenciatura en Actuaría

Enlaces