Radio and PodcastRadio and PodcastLive Radio & Podcasts
04 - Prouver les programmes : pourquoi, quand, comment ? artwork
Education

04 - Prouver les programmes : pourquoi, quand, comment ?

Algorithmes, machines et langages by Collège de France

Mar 18, 201572:09Education

Gé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...

About This Episode

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...

Podcast

This episode belongs to Algorithmes, machines et langages.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Mar 18, 2015, 72:09 long, audio available.

Related Episodes

Continue listening to more episodes from Algorithmes, machines et langages.