TY  - BOOK
AU  - PeÃ±a MarÃ­, Ricardo
TI  - DiseÃ±o de Programas: Formalismo y AbstracciÃ³n 
SN  - 8420541915
U1  - 005.133  
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  - BibliografÃ­a de la pÃ¡gina 453 - 459 / Incluye Ã­ndice analÃ­tico; Sala general / a domicilio; E.A.P. IngenierÃ­a InformÃ¡tica y Sistemas
N2  - En el libro se describen tÃ©cnicas tales como el diseÃ±o y la verificaciÃ³n de programas recursivos, la derivaciÃ³n formal de programas iterativos y la especificaciÃ³n algebraica de tipos abstractos
ER  -