
por Leslie Lamport · 2017
Sinopsis
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.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda