Programación metódica / José Luis Balcázar
El objetivo de la obra es mostrar cómo es posible calcular los programas, siempre cuidando hasta el último detalle porque en cualquiera de éstos puede esconderse el error. El estudio de los ejemplos aportados, y el trabajo sobre los ejercicios propuestos, proporcionan al lector una más satisfactoria...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
McGraw-Hill,
1993
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 01520nam a2200289a 44500 | ||
|---|---|---|---|
| 001 | UBP01403 | ||
| 003 | AR-CdUBP | ||
| 005 | 20220310151336.0 | ||
| 008 | 151212s1993#######|||||||||||||||||spa|d | ||
| 020 | |a 84-481-1957-6 | ||
| 040 | |a AR-CdUBP |b spa | ||
| 041 | |a spa | ||
| 100 | |a Balcázar, José Luis | ||
| 245 | 1 | 0 | |a Programación metódica / José Luis Balcázar |
| 260 | |a Madrid : |b McGraw-Hill, |c 1993 | ||
| 300 | |a xvi, 416 p. : |c 23 cm. | ||
| 504 | |a Bibliografía: p. 409-411 | ||
| 505 | 0 | |a I. Especificación y corrección. II. Verificación y derivación. III. El principio de inducción. IV. Programas recursivos. V. Transformación de programas por inmersión. VI. Inmersión de especificaciones. VII. Programas iterativos. VIII. Transformación de recursividad múltiple. IX. Búsqueda lineal. X. Búsqueda lineal con booleano. XI. Búsqueda en estructuras ordenadas. XII. Algoritmos de ordenación. Algunas consideraciones prácticas. | |
| 520 | |a El objetivo de la obra es mostrar cómo es posible calcular los programas, siempre cuidando hasta el último detalle porque en cualquiera de éstos puede esconderse el error. El estudio de los ejemplos aportados, y el trabajo sobre los ejercicios propuestos, proporcionan al lector una más satisfactoria capacidad de razonar sobre sus propios programas. | ||
| 650 | 4 | |a PROGRAMACION METODICA | |
| 653 | |a INFORMATICA | ||
| 930 | |a INFORMATICA | ||
| 931 | |a 01403 |b UBP | ||
| 942 | |2 cdu |c BK | ||
| 945 | |a EBA | ||
| 984 | |a 004.424 |b B189 | ||
| 999 | |c 17018 |d 17018 | ||