by Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Diseño de programas: formalismo y abstracción» is the programming manual by Ricardo Peña Marí, in paperback (Prentice Hall, 251 pages, in Spanish).
University textbook on program design focused on formalism and abstraction as the basis for building rigorous software. It presents notations, concepts, and specification methods, and shows how to reason about program behaviour.
Second edition published in 1998 by Prentice Hall, in the 'Fuera de colección Out of series' collection.
Intended for university computer science students and professionals who want to strengthen their training in software design.
