Programación Metódica /
Balcázar, José Luis
Programación Metódica / José Luis Balcázar - España : Mcgraw-Hill, 1993. - xvi : 416 p. ; Mapas, Gráficas, Ilustraciones ; 23 x 18 cm.
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. "
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.
8448119576
Lenguajes de programación para computadoras
005.11 / B174p
Programación Metódica / José Luis Balcázar - España : Mcgraw-Hill, 1993. - xvi : 416 p. ; Mapas, Gráficas, Ilustraciones ; 23 x 18 cm.
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. "
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.
8448119576
Lenguajes de programación para computadoras
005.11 / B174p