Aperçu du fragment. Obtenir un accès complet
Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes