TD1 - Terminaison et correction - LIMOS
Objectifs À la fin de cette séance, vous devriez être capable de : ? concevoir et exploiter un invariant de boucle; ? donner un variant de boucle afin de ...
Objectifs À la fin de cette séance, vous devriez être capable de : ? concevoir et exploiter un invariant de boucle; ? donner un variant de boucle afin de ...