Especificaciones, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López
Tipo de material:
TextoIdioma: es Detalles de publicación: Madrid : Pearson Educación, 2006Descripción: x, 188 p. ; 27 cmTipo de contenido: - texto
- sin mediación
- volumen
- 9788483222928
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Materiales especificados | Estado | Código de barras | |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca "Ing. Alcides R. Martínez" | Colección general | 004 M363 (Navegar estantería(Abre debajo)) | Buen Estado | Disponible | 2725 | |
|
Libros
|
Biblioteca "Ing. Alcides R. Martínez" | Colección general | 004 M363 (Navegar estantería(Abre debajo)) | Buen Estado | Disponible | 2726 |
Bibliografía: p. 187-188
Capítulo 1 Especificación de algoritmos. Introducción. Ejercicios resueltos. Ejercicios propuestos
Capítulo 2. Verificación. Introducción. Reglas básicas de verificación. Precondición más débil. Reglas específicas. Verificación de algoritmos recursivos. Ejercicios resueltos. Ejercicios propuestos
Capítulo 3. Análisis de complejidad. Introducción. Ejercicios resueltos. Ejercicios propuestos
Capítulo 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos. Ejercicios propuestos
Capítulo 5. Derivación de algoritmos recursivos. Introducción. Análisis por casos y composición. Técnicas de inmersión. Técnica de desplegado y plegado. Transformación de recursivo lineal a iterativo. Ejercicios resueltos. Ejercicios propuestos
Haga clic en una imagen para verla en el visor de imágenes