|
|
|
|
| LEADER |
00740nam a2200193 u 4500 |
| 001 |
000112527 |
| 005 |
.0 |
| 008 |
990901s1989 cr ||||| spa |
| 035 |
|
|
|a 5292913
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
|
|a 005.14
|b G634G
|2 00
|
| 100 |
1 |
|
|a Gómez Meneses, Vicente
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Guías para el desarrollo de programas a través de pruebas de correctitud :
|b proyecto II
|
| 260 |
|
|
|a Cartago, C.R. :
|b Centro de Investigaciones en Computación, Instituto Tecnológico de Costa Rica,
|c 1989.
|
| 300 |
|
|
|a 29 páginas
|
| 650 |
|
|
|a PROGRAMAS PARA COMPUTADORA
|x PRUEBAS
|
| 650 |
|
|
|a PROGRAMAS PARA COMPUTADORA
|x VERIFICACION
|
| 916 |
|
|
|a Centro Catalográfico
|