|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000055532 |
| 003 |
CO-BoSNA |
| 005 |
20260107154753.0 |
| 008 |
051017s2006^^^^sp^a^^^frt^^^^000^0^spa^d |
| 020 |
|
|
|a 9788483222928
|
| 020 |
|
|
|a 8483222922
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
4 |
|a 005.1
|b M375e
|2 23
|
| 100 |
1 |
|
|a Martí Oliet, Narciso
|
| 245 |
1 |
0 |
|a Especificación, derivación y análisis de algoritmos :
|b ejercicios resueltos /
|c Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López.
|
| 260 |
|
|
|a Madrid :
|b Pearson Educación,
|c c2006.
|
| 300 |
|
|
|a 188 páginas :
|b ilustraciones ;
|c 27 cm.
|
| 505 |
0 |
|
|a Especificación de algoritmos -- Verificación -- Análisis de complejidad -- Derivación de algoritmos iterativos -- Derivación de algoritmos recursivos
|
| 650 |
1 |
7 |
|a Algoritmos
|2 Armarc
|
| 650 |
1 |
7 |
|a Funciones recursivas
|2 Armarc
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 Armarc
|
| 650 |
1 |
7 |
|a Informática
|2 Armarc
|
| 650 |
1 |
7 |
|a Teoría de las máquinas
|2 Armarc
|
| 700 |
1 |
|
|a Segura Díaz, Clara María
|
| 700 |
1 |
|
|a Verdejo López, José Alberto
|
| 952 |
|
|
|0 0
|1 0
|4 4
|6 005_100000000000000_M375E
|7 0
|8 GENER
|9 253373
|a 11211
|b 11211
|d 2012-03-15
|i 119907
|l 0
|o 005.1 M375e
|p 119211008212
|r 2026-01-07 15:47:53
|t Ej. 2
|w 2026-01-07
|y BOOK
|z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá
|
| 952 |
|
|
|0 0
|1 0
|4 2
|6 005_100000000000000_M375E
|7 0
|8 GENER
|9 253374
|a 11211
|b 11211
|d 2012-03-15
|i 119907
|l 0
|o 005.1 M375e
|p 119211008213
|r 2026-01-07 15:47:53
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá
|
| 999 |
|
|
|c 51529
|d 51529
|
| 942 |
|
|
|6 005_100000000000000__M375E
|
