Preuve d'algorithmes - lycee rotrou, dreux
La validité fait ici référence à la correction partielle pour le triplet {A}c{A }, qui s'énonce ainsi : Pour tout état mémoire ?, si ? satisfait A et si l' ...
La validité fait ici référence à la correction partielle pour le triplet {A}c{A }, qui s'énonce ainsi : Pour tout état mémoire ?, si ? satisfait A et si l' ...