TY  - BOOK
AU  - Peña Marí,Ricardo
TI  - Diseño de programas: formalismo y abstracción 
SN  - 8420541915
AV  - QA 76.76.D47 P463.2005
PY  - 2005///
CY  - Madrid
PB  - Pearson Educación
KW  - Programación de computadoras
KW  - Diseño -
KW  - Manuales, etc
KW  - Computación
N1  - Incluye referencias bibliográficas e índice
ER  -