A la chasse aux bugs : la vérification des programmes et circuits

FR
EN

Gérard Berry Collège de France

Algorithmes, machines et langages (2007-2019) / Pourquoi et comment le monde devient numérique (Chaire Innovation technologique — Liliane Bettencourt)

22 février 2008 10:30 Cours Amphithéâtre Guillaume Budé - Marcelin Berthelot