Exemples de méthodes et outils pour la correction des programmes.

Liste des plans proposés

• Plan de Balthazar Patiachvili (#01_0000)
  
  • Développements
    • Correction du tri par séléction par la logique de Hoare par Balthazar Patiachvili (#00006)
      

      Utilisable dans les leçons : 01
      Références :

  • Remarques
  • Références
• Plan de Lucas Tabary-Maujean (#01_0001)
  
  • Développements
  • Remarques
  • Références

Liste de tous les développements proposés

Note : certains développements peuvent être proposés sans faire directement référence à un plan.

• Correction du tri par séléction par la logique de Hoare par Balthazar Patiachvili (#00006)
  

  Utilisable dans les leçons : 01
  Références :

Voir la liste complète des développements proposés