Diseño de programas: Formalismo y Abstracción

Descrição

Este libro, 'Diseño de Programas: Formalismo y Abstracción', es una obra de Ricardo Peña Marí, publicada por Pearson Educación en su tercera edición en 2005. El libro está destinado a estudiantes y profesionales de la informática que buscan mejorar sus habilidades de programación y razonamiento sobre la corrección y eficiencia de sus programas. Incluye un CD-ROM complementario y abarca temas de programación informática y desarrollo de software, siendo un recurso valioso para la educación superior y universitaria.