TY  - BOOK
AU  - Peña Marí,Ricardo
TI  - Diseño de programas: formalismo y abstracción 
SN  - 84-8322-003-2
U1  - 005.74 P349d 
PY  - 1998///
CY  - Madrid
PB  - Pearson Educación
KW  - Ciencias de la información
KW  - Informática
KW  - Programación (Computadores electrónicos)
KW  - Diseño
KW  - Problemas, ejercicios, etc
KW  - Programas para computador
N1  - Incluye referencias bibliográficas e índice
ER  -