|
|
|
|
| LEADER |
01335nam a2200349 u 4500 |
| 001 |
000023722 |
| 005 |
20200716083738.0 |
| 008 |
970206s1996 cr |sm 00| ||spa d |
| 035 |
|
|
|a 23984
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 090 |
|
|
|a TF 2129
|
| 100 |
1 |
|
|a Cordero-Ríos, Jessica
|
| 245 |
1 |
0 |
|a Bases para la integración de métodos estructurados y formales en la especificación de sistemas de información /
|c creadora Jessica Cordero-Ríos.
|
| 260 |
|
|
|a Cartago, Costa Rica :
|b J. Cordero-R.,
|c 1996.
|
| 300 |
|
|
|a 1 disco de computadora :
|b ilustraciones, diagramas, tablas.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a disco de computadora
|b cd
|2 rdaportador
|
| 502 |
|
|
|a Tesis
|b (Maestría en Ingeniería en Computación)
|c Instituto Tecnológico de Costa Rica, Escuela de Ingeniería en Computación,
|d 1996.
|
| 504 |
|
|
|a Bibliografía
|
| 590 |
|
|
|a ITCR
|
| 590 |
|
|
|a COTA
|
| 590 |
|
|
|a CSUCA
|
| 590 |
|
|
|a COMP
|
| 650 |
1 |
7 |
|a Modelos de sistemas
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Ejecución de sistemas
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Software
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Almacén de datos
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Metodología
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Tesis
|
| 902 |
|
|
|a autecnica
|b 2017/08/24
|
| 904 |
|
|
|a Lisandro
|b 2020/07/16
|