Aller au contenu

Correction du tri par sélection par la logique de Hoare

Propositions de mises en forme

Développement de Balthazar Patiachvili

Développement au format PDF

Leçons où ce développement peut être utilisé