
06 - Prouver les programmes : pourquoi, quand, comment ?
Apr 1, 2015 - 69:37
Radio and PodcastLive Radio & Podcasts
Gérard Berry Algorithmes, machines et langages Collège de France LEÇON DE CLÔTURE Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires 26 février 2019