000			01471nam a22002657a 4500
008			140202b ck ||||| |||| 00| 0 spa d
020			_a84-205-4191-5
082	0	4	_a005.12 / P439d
100	1		_aPeña Marí, Ricardo _973656
245	1	0	_aDiseño de programas formulismo y abstracción / Ricardo Peña Marí
250			_a3a. ed.
264			_aMadrid : Pearson Educación, 2005
300			_axix, 466 p. : il., 24 cm. + 1 CD ROM
505	0	0	_aPrólogo -- La eficiencia de los algoritmos -- Medidas asintóticas -- Ordenes de complejidad -- Reglas
505	0	0	_aprácticas para el cálculo de la eficiencia -- Especificación de problemas -- Lógica de predicados --
505	0	0	_aEspecificación con predicados -- Diseño recursivo -- Inducción noetheriana -- diseño y verificación de
505	0	0	_aprogramas recursivos -- Diseño iterativo -- Semántica de un lenguaje imperativo -- Tipos abstractos de datos
505	0	0	_a-- Programación con Tipos abstractos de datos -- Especificación algebraica de Tipos abastractos -- estructuras
505	0	0	_alineales de datos -- Notación algorítmica para módulos y memoria dinámica -- Arboles -- Tablas y Grafos --
505	0	0	_aBibliografía --
590			_aEl CD ROM se puede visualizar en la Biblioteca Electrónica
590			_aIncluye referencias bibliográficas e índice
650	1	4	_aProgramación (computadores) _xdiseño _9128929
650	1	4	_aLenguaje de programacion (computadores) _9114611
999			_c29882 _d29882