Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsGérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq Ce cours complète le...
04 - Prouver les programmes : pourquoi, quand, comment ? is an episode from Algorithmes, machines et langages by Collège de France. Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, com...
This episode belongs to Algorithmes, machines et langages.
Use the player on this page to stream the episode online.
Published Mar 18, 2015, 72:09 long, audio available.
Continue listening to more episodes from Algorithmes, machines et langages.
Apr 1, 2015 - 69:37
Mar 25, 2015 - 63:20
Mar 11, 2015 - 71:14
Mar 4, 2015 - 70:15
Jan 28, 2015 - 80:03
Apr 9, 2014 - 46:21
Apr 2, 2014 - 62:26