Peña Marí, Ricardo
Diseño de programas formulismo y abstracción / Ricardo Peña Marí - 3a. ed. - xix, 466 p. : il., 24 cm. + 1 CD ROM
Prólogo -- La eficiencia de los algoritmos -- Medidas asintóticas -- Ordenes de complejidad -- Reglas prácticas para el cálculo de la eficiencia -- Especificación de problemas -- Lógica de predicados -- Especificación con predicados -- Diseño recursivo -- Inducción noetheriana -- diseño y verificación de programas recursivos -- Diseño iterativo -- Semántica de un lenguaje imperativo -- Tipos abstractos de datos Programación con Tipos abstractos de datos -- Especificación algebraica de Tipos abastractos -- estructuras lineales de datos -- Notación algorítmica para módulos y memoria dinámica -- Arboles -- Tablas y Grafos -- Bibliografía --
84-205-4191-5
Programación (computadores)--diseño
Lenguaje de programacion (computadores)
005.12 / P439d
Diseño de programas formulismo y abstracción / Ricardo Peña Marí - 3a. ed. - xix, 466 p. : il., 24 cm. + 1 CD ROM
Prólogo -- La eficiencia de los algoritmos -- Medidas asintóticas -- Ordenes de complejidad -- Reglas prácticas para el cálculo de la eficiencia -- Especificación de problemas -- Lógica de predicados -- Especificación con predicados -- Diseño recursivo -- Inducción noetheriana -- diseño y verificación de programas recursivos -- Diseño iterativo -- Semántica de un lenguaje imperativo -- Tipos abstractos de datos Programación con Tipos abstractos de datos -- Especificación algebraica de Tipos abastractos -- estructuras lineales de datos -- Notación algorítmica para módulos y memoria dinámica -- Arboles -- Tablas y Grafos -- Bibliografía --
84-205-4191-5
Programación (computadores)--diseño
Lenguaje de programacion (computadores)
005.12 / P439d