Ambos libros enfatizan la importancia de la corrección en la programación, abordando la disciplina con un rigor matemático en su enfoque.
DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.)
por Ricardo Peña Marí · 2005
Ver sugerenciasSinopsis
Esta obra (el mismo autor del libro de referencia) se centra en mejorar los métodos de programación y razonar sobre la corrección y eficiencia de los programas. Describe técnicas como el diseño y verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos. [casadellibro.com](https://www.casadellibro.com/libro-diseno-de-programas-formalismo-y-abstraccion-3-ed-incluye-c-d/9788420541914/1010532)
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el libro de referencia, este texto trata la programación como una ciencia formal, usando deducción lógica para el desarrollo de software.
Se centra en la derivación de programas correctos, conectando con el enfoque del libro de referencia sobre la construcción de software a partir de especificaciones formales.
Introduce el razonamiento matemático para la verificación de programas, al igual que el enfoque del libro sobre la corrección y elegantemente hablar de algoritmos.
Aunque más anecdótico, abarca el diseño de sistemas en programación, ofreciendo una perspectiva práctica que complementa los formalismos del libro de referencia.
Este clásico enseña principios de programación a través del pensamiento abstracto, que resuena con el enfoque de abstracción y diseño de software del texto de referencia.