por Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
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í, en tapa blanda (Prentice Hall, 251 páginas, en español).
Manual universitario sobre diseño de programas centrado en el formalismo y la abstracción como base para construir software riguroso. Expone notaciones, conceptos y métodos de especificación, y muestra cómo razonar sobre el comportamiento de los programas.
Segunda edición publicada en 1998 por Prentice Hall, dentro de la colección 'Fuera de colección Out of series'.
Pensado para estudiantes universitarios de informática y profesionales que quieran reforzar su formación en diseño de software.
