Estudio de diversos metodos de especificacion formal de programas

Sinodales:
MARIA GUADALUPE ELENA IBARGUENGOITIA GONZALEZ;
Autores:
Marquez Flores, Gustavo Arturo
Tipo de tesis:
Tesis de Licenciatura
Entidad presentadora de examen profesional:
Facultad de Ciencias
Entidades por adscripción en la UNAM: