Elaboración de prototipo utilizando lenguaje formal Z para la especificación de los requerimientos del sistema de proveedores de la Empresa "Casa Mántica, S.A." - Pérez Guerrero, Hazell Cristina (NI UNAN, Managua, 2003)
Monografía-(Licenciados en Ciencias de la Computación)-Universidad Nacional Autónoma de Nicaragua
Keywords: Automatización | Computación-Monografías-2003 | Lenguajes formales | Sistemas de almacenamiento y recuperación de información