CentraleSupélec LMF, UMR CNRS 9021
Département informatique Laboratoire Méthodes Formelles
Bât Breguet, 3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
TD n°4 et 5 SIP

Le sujet SIP-TD04-05.pdf

Éléments de corrigé

Programme de test

Ce programme suppose que le code est placé dans un fichier "td4.py".

Réponse aux questions