Programación metódica
Balcázar, José Luis
Programación metódica - Madrid: McGraw-Hill Interamericana de España, 1993 - 416 p. : il. ; 23 x 18 cm
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
Lenguaje de Programación
Programación
005.1 - Programación de la aplicación. ingeniería de software
Programación metódica - Madrid: McGraw-Hill Interamericana de España, 1993 - 416 p. : il. ; 23 x 18 cm
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
Lenguaje de Programación
Programación
005.1 - Programación de la aplicación. ingeniería de software