Collège de France
menu
fr
en
cn
Prouver les programmes : pourquoi, quand, comment ?
Des logiques d'ordre supérieur à la programmation vérifiée en Coq
fr
en
cn
Gérard Berry
Collège de France
18 mars 2015
16:00
17:30
Cours
Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Télécharger la vidéo
Télécharger l'audio
Support
[2628.0Ko]
en savoir plus
Algorithmes, machines et langages