Programación metódica /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Spanish |
| Published: |
Madrid :
McGraw - Hill,
1993.
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Especificación y corrección.
- Verificación y derivación.
- El principio de inducción.
- Programas recursivos.
- Transformación de programas por inmensión.
- Inmersión de especificaciones.
- Programas iterativos.
- Transformación de recursividad múltiple.
- Búsqueda lineal.
- Búsqueda lineal con booleano.
- Búsqueda en estructuras ordenadas.
- Algoritmos de ordenación.
- Consideraciones prácticas.
