per Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
IVA inclòs
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Diseño de programas: formalismo y abstracción» és el manual de programació de Ricardo Peña Marí, en tapa tova (Prentice Hall, 251 pàgines, en castellà).
Manual universitari sobre disseny de programes centrat en el formalisme i l'abstracció com a base per construir programari rigorós. Exposa notacions, conceptes i mètodes d'especificació, i mostra com raonar sobre el comportament dels programes.
Segona edició publicada el 1998 per Prentice Hall, dins la col·lecció 'Fuera de colección Out of series'.
Pensat per a estudiants universitaris d'informàtica i professionals que vulguin reforçar la seva formació en disseny de programari.
