Penser, modéliser et maîtriser le calcul informatique

Une explication de la notion de modèle de calcul, guide à la fois intuitif et mathématique qui permet de raisonner et de calculer sur le calcul. L'auteur montre pourquoi il faut plusieurs modèles de calcul et comment les faire coopérer.