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."

Detalles Bibliográficos
Autor principal:	Pérez Guerrero, Hazell Cristina
Formato:	Libro
Lenguaje:	Undetermined
Publicado:	NI UNAN, Managua 2003
Materias:	Automatización \| Computación-Monografías-2003 \| Lenguajes formales \| Sistemas de almacenamiento y recuperación de información

Descripción
Notas:	Monografía-(Licenciados en Ciencias de la Computación)-Universidad Nacional Autónoma de Nicaragua
Descripción Física:	158p. : il.

Ejemplares similares