TY  - BOOK
AU  - Peña Marí, Ricardo
TI  - Diseño de Programas: Formalismo y Abstracción 
SN  - 8420541915
U1  - 003.0151  
PY  - 2005///
CY  - Madrid - España
PB  - Pearson Educación
KW  - PROGRAMACIÓN DE ORDENADORES
KW  - PROGRAMACIÓN LÓGICA
KW  - PROGRAMAS Y SISTEMAS DE PROGRAMACIÓN
KW  - España
N1  - Sala especializada / a domicilio
N2  - Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
ER  -