Exercices formalisation de comportements & logique temporelle ...
Corrigé non dispo par manque de temps. 3) Comportement d'une machine simplifiée ... 1) On ne peut pas servir de boisson si le prix de la boisson n'a pas été ...
Corrigé non dispo par manque de temps. 3) Comportement d'une machine simplifiée ... 1) On ne peut pas servir de boisson si le prix de la boisson n'a pas été ...