000			01920nam a22002177a 4500
003			MX-MxAU
005			20180221180429.0
008			171001e1993 sp adk|| |||| 00| 0 spa d
020			_a8448119576
040			_aMX-MxAU _cMX-MxAU
082			_a005.11 _bB174p
100			_aBalcázar, José Luis
245			_aProgramación Metódica / _cJosé Luis Balcázar
260			_aEspaña : _bMcgraw-Hill, _c1993.
300			_axvi : 416 p. ; _bMapas, Gráficas, Ilustraciones ; _c23 x 18 cm.
500			_aIncluye índice, bibliografía.
505			_a1. 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. "
520			_aLa 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.
650		0	_936305 _aLenguajes de programación para computadoras
942			_cLB
999			_c58465 _d58465