Un análisis profundo de los problemas filosóficos que surgieron en los fundamentos de las matemáticas a principios del siglo XX y cómo diferentes escuelas de pensamiento intentaron resolverlos.
RW
RW
Reinhard Wilhelm
alemán
Reinhard Wilhelm es un destacado científico e ingeniero alemán conocido por sus contribuciones al campo de la computación y la teoría de sistemas. Su trabajo ha influido en el desarrollo de herramientas y metodologías para el modelado y la simulación en diversas disciplinas.
Obras en el archivo
2 títulos
Compiladores: Teoría y Práctica
2005·no ficcion
Un tratado exhaustivo y riguroso sobre la teoría y la práctica de la construcción de compiladores, con un enfoque en la teoría de tipos, la optimización de código y la verificación formal.
Autores relacionados
Aparecen junto a Reinhard Wilhelm en búsquedas del archivo