Diseño de Programas

Inhaltsangabe von Diseño de Programas

«Diseño de Programas: Formalismo y Abstracción» ist das Programmierhandbuch von Ricardo Peña Marí, veröffentlicht bei Prentice Hall in Taschenbuch (326 Seiten).

Programmierhandbuch, das sich auf das formale Design von Programmen konzentriert: Es erklärt die Prinzipien, die die Konstruktion von Software leiten, und das Denken über ihre Korrektheit und Effizienz. Für einen zweiten oder dritten Programmierkurs gedacht, verbindet es Formalismus und Abstraktion, um die Entwicklung von Computerprogrammen zu behandeln.

Zweite Auflage, veröffentlicht 1997.

Für Informatikstudenten und Fachleute, die die Grundlagen des formalen Programmentwurfs festigen möchten.