TY  - BOOK
AU  - Balcázar, José Luis
TI  - Programación metódica
U1  - 005.1 - Programación de la aplicación. ingeniería de software 
PY  - 1993///
CY  - Madrid: 
PB  - McGraw-Hill Interamericana de España, 
KW  - Lenguaje de Programación
KW  - Programación
N1  - 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; 1993
ER  -