|
|
|
|
| LEADER |
00771nam a2200145Ia 4500 |
| 008 |
240626s9999||||xx |||||||||||||| ||und|| |
| 040 |
|
|
|b Es
|a Biblioteca Central "Salomón de la Selva" (RURD)
|
| 082 |
|
|
|a COMP 378.242 Pér 2003
|
| 100 |
|
|
|a Pérez Guerrero, Hazell Cristina
|
| 245 |
|
0 |
|a 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."
|
| 260 |
|
|
|a NI
|b UNAN, Managua
|c 2003
|
| 300 |
|
|
|a 158p. : il.
|
| 500 |
|
|
|a Monografía-(Licenciados en Ciencias de la Computación)-Universidad Nacional Autónoma de Nicaragua
|
| 650 |
|
|
|a Automatización | Computación-Monografías-2003 | Lenguajes formales | Sistemas de almacenamiento y recuperación de información
|
| 999 |
|
|
|c 19090
|