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

 - Madrid:   McGraw-Hill Interamericana de España,   1993 
 - 416 p. :  il. ;  23 x 18 cm 
<br/><br/>I. Especificación y corrección.-- II. Verificación y derivación.-- III. El principio de inducción.-- IV. Programa recursivos.-- V. Transformación de programas por inmesión. 
<br/><br/>1993 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lenguaje de Programación<br/>Programación
<br/><br/><label>Dewey Class. No.: </label>005.1 - Programación de la aplicación. ingeniería de software