Diseño de programas formulismo y abstracción / Ricardo Peña Marí (Record no. 29882)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01471nam a22002657a 4500 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 140202b ck ||||| |||| 00| 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 84-205-4191-5 |
| 100 1# - AUTOR PERSONAL | |
| nombre | Peña Marí, Ricardo |
| 9 (RLIN) | 73656 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Diseño de programas formulismo y abstracción / Ricardo Peña Marí |
| 250 ## - EDICIÓN | |
| edición | 3a. ed. |
| 264 ## - PIE DE IMPRENTA | |
| lugar (ciudad) | Madrid : Pearson Educación, 2005 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xix, 466 p. : il., 24 cm. + 1 CD ROM |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Prólogo -- La eficiencia de los algoritmos -- Medidas asintóticas -- Ordenes de complejidad -- Reglas |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | prácticas para el cálculo de la eficiencia -- Especificación de problemas -- Lógica de predicados -- |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Especificación con predicados -- Diseño recursivo -- Inducción noetheriana -- diseño y verificación de |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | programas recursivos -- Diseño iterativo -- Semántica de un lenguaje imperativo -- Tipos abstractos de datos |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | -- Programación con Tipos abstractos de datos -- Especificación algebraica de Tipos abastractos -- estructuras |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | lineales de datos -- Notación algorítmica para módulos y memoria dinámica -- Arboles -- Tablas y Grafos -- |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Bibliografía -- |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | El CD ROM se puede visualizar en la Biblioteca Electrónica |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | Incluye referencias bibliográficas e índice |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 005.12 / P439d |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Programación (computadores) |
| Subdivisión general | diseño |
| 9 (RLIN) | 128929 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Lenguaje de programacion (computadores) |
| 9 (RLIN) | 114611 |
No items available.