El programador razonado, segunda edición - The Reasoned Schemer, Second Edition
Una nueva edición de un libro, escrito en un estilo humorístico de preguntas...
Fundamentos de los lenguajes de programación - Essentials of Programming Languages
Una nueva edición de un libro de texto que proporciona a los estudiantes...
El pequeño tipógrafo - The Little Typer
Una introducción a los tipos dependientes, demostrando los aspectos más bellos, paso a paso .El tipo de un programa describe su...
El pequeño probador - The Little Prover
Una introducción a la escritura de pruebas sobre programas informáticos, escrita en un estilo accesible de preguntas y respuestas, con...
