Especificación, derivación y análisis de algoritmos : ejercicios resueltos /
Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correct...
Autor principal: | |
---|---|
Otros Autores: | , |
Formato: | Libro |
Lenguaje: | Spanish |
Colección: | Serie (Prentice práctica)
|
Materias: |
Tabla de Contenidos:
- Especificaciones de algoritmos
- Verificación
- Análisis de complejidad
- Derivación de algoritmos iterativos
- Derivación de algoritmos recursivos