Pourquoi et comment le monde devient numérique (Chaire Innovation technologique — Liliane Bettencourt)

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

Gérard BerryCollège de France

22 février 2008 10:30 Cours Amphithéâtre Guillaume Budé - Marcelin Berthelot
Algorithmes, machines et langages