Algorithmes, Types, Preuves - IRIT
Correction totale: Exercice. Essayer de prouver la correction totale du ... Scénario: Retrait d'une somme d'un distributeur de billets. Comportement du ...
moved 151656
moved 110455
Ressources pour la classe de seconde - Algorithmique Comment gérer un distributeur de billets de banque ? Quelques exemples de traitements possibles : vérification de la date de fin de validité de la carte, du
moved 17227
moved 198479
moved 117998