británico
Roland C. Backhouse es un destacado matemático y científico de la computación británico, conocido por sus contribuciones al desarrollo de la teoría de la programación y la lógica matemática. Su trabajo ha influido en la educación y la investigación en el ámbito de la informática teórica.
2003·ensayo
Un libro que explora las conexiones profundas entre la lógica, la especificación formal y la programación. Presenta una perspectiva algebraica y lógica del diseño de programas, enfocándose en la derivación de algoritmos a partir de sus especificaciones.
Aparecen junto a Roland C. Backhouse en búsquedas del archivo
