by Ricardo Peña Marí · PEARSON UNIVERSIDAD · tapa blanda · ISBN 9788483220030
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í, published by Prentice Hall in paperback (326 pages).
Programming manual focused on formal program design: it explains the principles that guide software construction and reasoning about its correctness and efficiency. Intended for a second or third programming course, it combines formalism and abstraction to address computer program development.
Second edition, published in 1997.
For computer science students and professionals who want to establish the foundations of formal program design.
Tapa blanda
Tapa blanda
Tapa blanda
