Programmes Corrects par Construction (i) Théorie - CNRS

CONCEPTION D'ALGORITHMES ? PRINCIPES ET EXERCICES CORRIGÉS. L'algorithme Le graphe G est, contrairement à l'habitude, défini comme un triplet conte-.