Programación metódica
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
Madrid :
McGraw-Hill,
c1993
|
| Edición: | 1a ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye ejercicios y bibliografía. -- |
| Descripción Física: | xvi, 416 p. ; 24 cm. |
| ISBN: | 8448119576 |
Tabla de Contenidos:
- Especificación y corrección
- Verificación y derivación
- Principio de inducción
- Programas recursivos
- Transformación de programas por inmersión
- Inmersión de especificaciones
- Programas iterativos
- Transformación de recursividad múltiple
- Búsqueda lineal con booleano
- Búsqueda en estructuras ordenadas
- Algoritmos de ordenación.