- Programen Egiaztapena eta Eratorpena. X. Arregi, A. Díaz de Ilaraza, P. Lucio. Udako euskal Unibersitatea, 1993.
- Metodología y Tecnología de la Programación II. M. Díaz Roca,, J. C. Rodríguez del Pino. Univ. Palmas Gran Canaria, 2004.
- Verificación de Programas y Metodología de la Programación. A. Díaz de Ilarraza, P. Lucio. Servicio Editorial Universidad del País Vasco, 1990.
- Programación metódica. J.L. Balcázar. MacGraw-Hill, 1993.
- Diseño de Programas.- Formalismo y Abstracción. Ricardo Peña. Prentice Hall, 1998.
- Metodología y Tecnología de la Programación II. M. Díaz Roca,, J. C. Rodríguez del Pino. Univ. Palmas Gran Canaria, 2004.
- Verificación de Programas y Metodología de la Programación. A. Díaz de Ilarraza, P. Lucio. Servicio Editorial Universidad del País Vasco, 1990.
- Programación metódica. J.L. Balcázar. MacGraw-Hill, 1993.
- Diseño de Programas.- Formalismo y Abstracción. Ricardo Peña. Prentice Hall, 1998.
Última modificación: lunes, 3 de diciembre de 2012, 14:07