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: |
Biblioteca Central "Salomón de la Selva" (RURD)
Número de Clasificación: |
COMP 378.242 Pér 2003 |
---|---|
Copia | Disponible |