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

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, comment ? Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq Ce cours complète le...View more