Collège de France
menu
FR
EN
SAT : la satisfaction booléenne
FR
EN
Gérard Berry
Collège de France
Algorithmes, machines et langages (2007-2019)
/
Structures de données et algorithmes pour la vérification formelle
16 mars 2016
16:00
17:30
Cours
Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Télécharger la vidéo
Support
[6828.0Ko]
Support
[7611.0Ko]
en savoir plus