Diseño de Programas

Sinossi di Diseño de Programas

«Diseño de Programas: Formalismo y Abstracción» è il manuale di programmazione di Ricardo Peña Marí, pubblicato da Prentice Hall in brossura (326 pagine).

Manuale di programmazione incentrato sulla progettazione formale dei programmi: spiega i principi che guidano la costruzione del software e il ragionamento sulla sua correttezza ed efficienza. Pensato per un secondo o terzo corso di programmazione, combina formalismo e astrazione per affrontare lo sviluppo di programmi per computer.

Seconda edizione, pubblicata nel 1997.

Per studenti di informatica e professionisti che vogliano consolidare i fondamenti della progettazione formale dei programmi.