Este libro recopila trabajos de Hoare sobre concurrencia y introduce el concepto de CSP, relevante para la verificación formal presentada en 'El camino hacia una computación fiable'.
El camino hacia una computación fiable
por C.A.R. Hoare · 1980
Ver sugerenciasSinopsis
Recopilación de ensayos y conferencias de otro pionero de la informática, Tony Hoare, que explora la verificación formal de programas, la concurrencia y los fundamentos del diseño de software robusto. Un clásico menos conocido fuera de círculos académicos.
Sé el primero en valorar este libro.
Más de C.A.R. Hoare
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Sobre los Programas Correctos y la Programación Correcta
Ole-Johan Dahl, Edsger W. Dijkstra, C.A.R. Hoare
1972·divulgacion
Los ensayos de Dijkstra y Hoare abordan la verificación formal, explorando la metodología y estructura que garantizan la corrección de programas, similar a las ideas de Hoare.
Dijkstra enfatiza la programación disciplinada y la verificación formal, aspectos que son centrales en el enfoque de Hoare sobre el desarrollo de software fiable.
Este texto de Dijkstra propone un marco riguroso para la creación de programas correctos, alineándose estrechamente con la idea de verificación formal en la obra de Hoare.
Dijkstra explora la evolución de la ingeniería de software y la necesidad de claridad, que son temas claves también en la recopilación de Hoare sobre computación fiable.
A través de sus ensayos, Dijkstra reflexiona sobre la programación como un arte preciso, un concepto que también resuena en la visión de Hoare sobre el diseño de software.