Visitor

Views

TD1.6 Preuves de correction et de terminaison

Quel est le coût de cet algorithme? Correction de l'exercice 1 ... Heureusement, ce défaut de notre preuve n'est pas très difficile à corriger. ... c'est un ...