AUTOR: PEÑA MARI archivos - Codeu https://www.codeu.org.ec/product-tag/autor-pena-mari/ Corporación para el Desarrollo de la Educación Universitaria Wed, 03 Sep 2025 17:08:10 +0000 es hourly 1 https://www.codeu.org.ec/wp-content/uploads/2022/12/favicon-codeu-100x100.png AUTOR: PEÑA MARI archivos - Codeu https://www.codeu.org.ec/product-tag/autor-pena-mari/ 32 32 DISEÑO DE PROGRAMAS https://www.codeu.org.ec/libros/diseno-de-programas-formalismo-y-abstraccion-3ed/ Wed, 18 Dec 2024 18:27:23 +0000 https://www.codeu.org.ec/?post_type=product&p=5257 Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas. En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas. También se incluyen un CD-ROM con numerosos ejercicios prácticos.

Indice

1.Corrección.
2.Eficiencia.
3.Informática.
4.Ingeniería.
5.Diseño.
6.Programación.

La entrada DISEÑO DE PROGRAMAS se publicó primero en Codeu.

]]> La entrada DISEÑO DE PROGRAMAS se publicó primero en Codeu.

]]>