Programación metódica

Título:

Programación metódica

Autor:

Balcázar, José Luis

Temas:

PROGRAMACIÓN ; 

Edición:

1a ed.

Localización electrónica:

Descripción física:

xvi, 416 p. ; 24 cm.

ISBN:

84-481-1957-6

Idioma:

Español, 

País:

España

Publicación:

Madrid : McGraw-Hill, c1993

Nota general:

Incluye ejercicios y bibliografía. --

Puede solicitar más fácilmente el ejemplar con: D.1 BAL

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.