Ambos libros reflexionan sobre la claridad y el razonamiento lógico en la programación, resaltando la importancia de la simplicidad en el diseño de software.
La Teología de la Computación
por Leslie Lamport · 2017
Ver sugerenciasSinopsis
Una colección de ensayos de uno de los pioneros de la informática, explorando cómo la teoría se aplica a la práctica en la computación, enfatizando la claridad, la prueba y el razonamiento lógico riguroso en la programación y el diseño de sistemas.
Sé el primero en valorar este libro.
Más de Leslie Lamport
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto comparte la preocupación por la disciplina en la creación de algoritmos, enfocándose en cómo la elegancia puede resolver problemas complejos en la informática.
Las reflexiones sobre la correcta implementación de algoritmos en este libro hacen eco del énfasis de Lamport en la claridad y la correcta lógica en la programación.
Al igual que Lamport, Hoare enfatiza la verificación formal y la robustez en el diseño de software, ofreciendo una perspectiva rigurosa sobre la programación.
Dijkstra aborda la evolución de la programación y la importancia de la claridad, resonando con la filosofía de Lamport sobre la práctica y la teoría en informática.
Este libro examina la ética y el impacto social de la programación, tocando aspectos de corrección y modestia que también son centrales en la obra de Lamport.