Saturday, May 31, 2014

Titre du cours 2014-2015 de G. Berry au Collège de France

La preuve de programmes: 
pourquoi, quand, comment 
(première saison)

No comments: