LL

Leslie Lamport

estadounidense

Leslie Lamport es un informático estadounidense conocido por sus contribuciones a la teoría de la computación y la programación distribuida, siendo el creador del lenguaje de documentación LaTeX. Su trabajo ha tenido un impacto significativo en la informática teórica y en la ingeniería del software.

Obras en el archivo

1 título

La Teología de la Computación

2017·no ficcion

Una colección de ensayos de uno de los pioneros de la informática, explorando cómo la teoría se aplica a la práctica en la computación, enfatizando la claridad, la prueba y el razonamiento lógico riguroso en la programación y el diseño de sistemas.

Autores relacionados

Aparecen junto a Leslie Lamport en búsquedas del archivo