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."
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
NI
UNAN, Managua
2003
|
| Subjects: |
Biblioteca Central "Salomón de la Selva" (RURD)
| Call Number: |
COMP 378.242 Pér 2003 |
|---|---|
| Copy | Available |