L'informatique du temps et des événements

Parler du temps, mais de manière formelle (1/2)

Gérard BerryCollège de France

02 avril 2013 10:00 11:00 Cours Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Algorithmes, machines et langages