di Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Diseño de programas: formalismo y abstracción» è il manuale di programmazione di Ricardo Peña Marí, in brossura (Prentice Hall, 251 pagine, in spagnolo).
Manuale universitario sulla progettazione di programmi incentrato su formalismo e astrazione come base per costruire software rigoroso. Espone notazioni, concetti e metodi di specifica, e mostra come ragionare sul comportamento dei programmi.
Seconda edizione pubblicata nel 1998 da Prentice Hall, nella collana 'Fuera de colección Out of series'.
Pensato per studenti universitari di informatica e professionisti che vogliano rafforzare la loro formazione nella progettazione di software.
