Balcázar, José Luis <br/><br/>
Programación metódica 

 - 1a ed. 
 - Madrid :   McGraw-Hill,  c1993 
 - xvi, 416 p.  ;  24 cm. 
<br/><br/> Incluye ejercicios y bibliografía. -- 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>8448119576 
<br/><br/><label>Standard No.: </label>DIF-M130 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACIÓN