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."
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | Undetermined |
Publicado: |
NI
UNAN, Managua
2003
|
Materias: |
Notas: | Monografía-(Licenciados en Ciencias de la Computación)-Universidad Nacional Autónoma de Nicaragua |
---|---|
Descripción Física: | 158p. : il. |