|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000042446 |
| 003 |
CO-BoSNA |
| 005 |
20260107080915.0 |
| 008 |
941206s1993^^^^sp^a^^^fr^^^^^000^0^spa^d |
| 020 |
|
|
|a 8448119576
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 041 |
0 |
|
|a spa
|
| 043 |
|
|
|a e-sp---
|
| 100 |
1 |
|
|a Balcazar, José Luis
|
| 245 |
0 |
0 |
|a Programación metódica /
|c José Luis Balcázar.
|
| 260 |
|
|
|a Madrid :
|b McGraw - Hill,
|c 1993.
|
| 300 |
|
|
|a xvi, 416 páginas :
|b il ;
|c 24 cm.
|
| 504 |
|
|
|a Incluye bibliografía, p. 400-411 e indice
|
| 505 |
2 |
|
|a Especificación y corrección. -- Verificación y derivación. -- El principio de inducción. -- Programas recursivos. -- Transformación de programas por inmensión. -- Inmersión de especificaciones. -- Programas iterativos. -- Transformación de recursividad múltiple. -- Búsqueda lineal. -- Búsqueda lineal con booleano. -- Búsqueda en estructuras ordenadas. -- Algoritmos de ordenación. -- Consideraciones prácticas.
|
| 650 |
1 |
7 |
|a PROGRAMACION (COMPUTADORES DIGITALES ANALOGICOS)
|2 LEMB
|
| 650 |
|
7 |
|a PROGRAMACION (COMPUTADORES ELECTRONICOS)
|2 LEMB
|
| 700 |
|
|
|a Stumpf, Juan,
|e ed.
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_300000000000000_B198P
|7 0
|8 GENER
|9 210987
|a 08082
|b 08082
|d 2007-11-06
|l 0
|o 005.3 B198p
|p 089082024846
|r 2026-01-07 08:09:15
|t Ej. 2
|w 2026-01-07
|x Libro no cargado en inventario
|y BOOK
|z Calle 30 No. 3E-164, Barranquilla
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_300000000000000_B198P
|7 0
|8 GENER
|9 210988
|a 08082
|b 08082
|d 2007-11-06
|l 0
|o 005.3 B198p
|p 089082021284
|r 2026-01-07 08:09:15
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Calle 30 No. 3E-164, Barranquilla
|
| 999 |
|
|
|c 42442
|d 42442
|
