británico
C.A.R. Hoare es un influyente informático británico, conocido principalmente por ser uno de los creadores del algoritmo de ordenación QuickSort y por su trabajo en la teoría de lenguajes de programación. Su contribución ha sido fundamental en el desarrollo de la informática moderna y los sistemas de programación.
1982·ensayo
Este ensayo profundiza en el uso de métodos formales, como la lógica y las matemáticas, para especificar y verificar la corrección de sistemas de software, buscando la rigurosidad en el diseño.
1985·no ficcion
Este libro presenta el cálculo de Communicating Sequential Processes (CSP), una notación matemática para describir patrones de interacción en sistemas concurrentes.
Aparecen junto a C.A.R. Hoare en búsquedas del archivo
