|
|
|
|
LEADER |
00735nam a2200193 u 4500 |
001 |
000112527 |
005 |
.0 |
008 |
990901s1989 cr ||||| spa |
035 |
|
|
|a 5292913
|
040 |
|
|
|a Sistema de Bibliotecas de la 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
|