Algorithmique (Agrégation) - Laboratoire Spécification et Vérification
2 avr. 2014 ... ce livre jusqu'au chapitre 7. ... Algorithme 1: Tri d'un tableau. Trie(T , deb, f in) :
tableau .... Par ailleurs, celui-ci illustre le principe de réduction.
Un extrait du document