TY  - BOOK
AU  - Peña Marí, Ricardo
TI  - Diseño de programas : : formalismo y abstracción / 
SN  - 8420541915
U1  - 005.12 
PY  - 2005///
CY  - Madrid
PB  - Pearson
KW  - Diseño de programas para computadores
N1  - Incluye 1 CD-ROM; Bibliografía: p. [453]-459
ER  -