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 correc...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Lenguaje: | español |
| Colección: | Serie (Prentice práctica)
|
| Materias: | |
| Acceso en línea: | Ver en el OPAC |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Especificaciones de algoritmos
- Verificación
- Análisis de complejidad
- Derivación de algoritmos iterativos
- Derivación de algoritmos recursivos