TY  - BOOK
AU  - Balcázar, José Luis
TI  - Programación Metódica
SN  - 8448119576
U1  - 005.11 
PY  - 1993///
CY  - España : 
PB  - Mcgraw-Hill, 
KW  - Lenguajes de programación para computadoras
N1  - Incluye índice, bibliografía.; 1. Especificación y corrección. -- 2. Verificación y derivación. -- 3. El principio de inducción. -- 3. Programas recursivos. -- 4. Transformación de programas por inmersión. -- 5. Inmersión de especificaciones. -- 6. Programas iterativos. -- 7. Transformación de recursividad múltiple. -- 8. Búsqueda lineal. -- 9. Búsqueda lineal con Booleano. -- 10. Búsqueda en estructuras ordenadas.
Algoritmos de ordenación. -- 11. Algunas consideraciones --
12. prácticas. --13. Bibliografía. -- 14. Índice. "
N2  - La obra Programación metódica forma parte del catálogo de McGraw-Hill Interamericana de España S.L.. En 1909 esta editorial comienza su andadura de la mano de McGraw, James H. y actualmente se encuentra en Madrid. El catálogo de McGraw-Hill Interamericana de España S.L. asciende a más de mil textos. La editorial tiene libros sobre todo de Profesional, Universidad, Ciencias De La Salud y Enseñanzas Medias. El fondo editorial de McGraw-Hill Interamericana de España S.L. se distribuye en colecciones como Serie De Programación Microsoft, Microsoft, Serie Administrativa/secretariado, Enter, Mcgraw-hill De Management entre otros. Eugene Braunwald y Tinsley Randolph Harrison son algunos de los autores que han publicado en la editorial
ER  -