La petite arnaqueuse, quatrième édition - The Little Schemer, Fourth Edition
L'idée que "penser à l'informatique est l'une des choses les plus excitantes que...
Le schéma raisonné, deuxième édition - The Reasoned Schemer, Second Edition
Une nouvelle édition d'un livre, écrit dans un style humoristique de...
L'essentiel des langages de programmation - Essentials of Programming Languages
Une nouvelle édition d'un manuel qui permet aux étudiants d'acquérir une...
Le petit typographe - The Little Typer
Une introduction aux types dépendants, démontrant les plus beaux aspects, étape par étape .Le type d'un programme décrit son...
Le Petit Prover - The Little Prover
Une introduction à l'écriture de preuves sur les programmes informatiques, écrite dans un style accessible de questions-réponses, avec des...
Le schématicien chevronné, deuxième édition - The Seasoned Schemer, Second Edition
L'idée que « penser à l'informatique est l'une des choses les plus...
