|
|
|
|
| LEADER |
01047nam a2200289 u 4500 |
| 001 |
000270691 |
| 005 |
20180207140249.0 |
| 008 |
170525s2003 enk 000 0 eng d |
| 020 |
|
|
|a 9780470864548
|q (online)
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 100 |
1 |
|
|a Backhouse, Roland
|
| 245 |
1 |
0 |
|a Program construction :
|b calculating implementations from specifications. /
|c Roland C. Backhouse.
|
| 260 |
|
|
|a Inglaterra :
|b John Wiley and Sons, Inc,
|c 2003.
|
| 300 |
|
|
|a En línea.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdaportador
|
| 504 |
|
|
|a Referencias bibliográficas
|
| 590 |
|
|
|a COMP
|
| 650 |
1 |
7 |
|a Computación
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Lógica matemática
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Programación de computadoras
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Composición secuencial
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Software
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Libros electrónicos
|
| 902 |
|
|
|a Roberto
|b 2018/01/31
|
| 904 |
|
|
|a autecnica
|b 2018/02/07
|