TY - BOOK AU - Peña Marí,Ricardo TI - Diseño de Programas: Formalismo y Abstracción SN - 8120541915 U1 - 001.642 PY - 2005/// CY - Madrid PB - Prentice hall KW - INFORMATICA - ENSEÑANZA KW - ALGORITMOS (COMPUTADORES) KW - PROCESAMIENTO ELECTRONICO DE DATOS KW - PROGRAMACION (COMPUTADORES ELECTRONICOS) N1 - Incluye Indice; Material Acompañado por un Disco Compacto (CD-ROM), ubicado en la Colección Multimedia, identificado con el número DC/001.642/P419d ER -