Este libro ofrece una transcripción de un curso sobre programación, donde Corrado Böhm explora métodos y técnicas para el desarrollo de programas de computadora, enfatizando el enfoque formal en la programación y la teoría detrás de ella.
italiano
Corrado Böhm fue un renombrado matemático y lógico italiano, conocido por sus contribuciones a la teoría de la computación y por su desarrollo del cálculo de las funciones. Su trabajo ha influido significativamente en la informática y la filosofía de la computación moderna.
Este libro ofrece una transcripción de un curso sobre programación, donde Corrado Böhm explora métodos y técnicas para el desarrollo de programas de computadora, enfatizando el enfoque formal en la programación y la teoría detrás de ella.
Aparecen junto a Corrado Böhm en búsquedas del archivo