por Ricardo Peña Marí · PEARSON UNIVERSIDAD · tapa blanda · ISBN 9788483220030
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«Diseño de Programas: Formalismo y Abstracción» es el manual de programación de Ricardo Peña Marí, publicado por Prentice Hall en tapa blanda (326 páginas).
Manual de programación centrado en el diseño formal de programas: explica los principios que guían la construcción de software y el razonamiento sobre su corrección y eficiencia. Pensado para un segundo o tercer curso de programación, combina formalismo y abstracción para abordar el desarrollo de programas de computador.
Segunda edición, publicada en 1997.
Para estudiantes de informática y profesionales que quieran asentar los fundamentos del diseño formal de programas.
