|
|
|
|
| LEADER |
01403nam a2200373 u 4500 |
| 001 |
000020547 |
| 005 |
20200713151859.0 |
| 008 |
950907s1988 cr |sm 00| ||spa d |
| 035 |
|
|
|a 20840
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 090 |
|
|
|a TF 1540
|
| 100 |
1 |
|
|a Gómez-Meneses, Vicente
|
| 245 |
1 |
0 |
|a Desarrollo plausible de pruebas de correctitud de programas /
|c creador Vicente Gómez-Meneses.
|
| 260 |
|
|
|a Cartago, Costa Rica :
|b V.Gómez M.,
|c 1988.
|
| 300 |
|
|
|a 1 disco de computadora :
|b diagramas.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a disco de computadora
|b cd
|2 rdaportador
|
| 500 |
|
|
|a Consultar en el disco de computadora apéndices.
|
| 502 |
|
|
|a Proyecto de graduación
|b (Maestría en Ingeniería en Computación)
|c Instituto Tecnológico de Costa Rica, Escuela de Ingeniería en Computación,
|d 1988.
|
| 504 |
|
|
|a Bibliografía
|
| 590 |
|
|
|a ITCR
|
| 590 |
|
|
|a COTA
|
| 590 |
|
|
|a CSUCA
|
| 590 |
|
|
|a COMP
|
| 650 |
1 |
7 |
|a Tecnología y desarrollo
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Automatización
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Computadoras
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Programas para computadora
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Herramientas informáticas
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Tesis
|
| 902 |
|
|
|a autecnica
|b 2017/03/17
|
| 903 |
|
|
|a autecnica
|b 2020/03/10
|
| 904 |
|
|
|a Lisandro
|b 2020/07/13
|