Sistemas de apoyo para la documentacion y mantenimiento de sistemas utilizando metodologias formales de desarrollo

Detalles Bibliográficos
Autor principal: Villanueva Castellanos, Mauricio Horacio
Otras Contribuciones: Ramirez Lozada, Alejandro (Asesor)
Formato: Tesis de licenciatura
Lenguaje:Español
Publicado: 1993
Materias:
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000199187
http://132.248.9.195/pmig2016/0199187/Index.html