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

Update: 2008-03-28

Description

Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Cinquième cours
A la chasse aux bugs : la vérification des programmes et circuits
22 février 2008

Comments

In Channel

08 - Les grands challenges du numérique, conclusion

2008-04-2401:01:24

07 - Les grands challenges du numérique

2008-04-2400:02:50

À la chasse aux bugs

2008-04-1600:59:38

06 - Les réseaux, un espace d'innovation exceptionnel

2008-03-2800:56:47

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

2008-03-2800:59:35

04 - Les systèmes embarqués et l'informatisation des objets

2008-03-2800:57:43

03 - Les langages de programmation, vecteurs de la pensée informatique

2008-03-2800:59:30

02 - Des circuits aux systèmes sur puces

2008-03-2801:00:19

01 - Les algorithmes, coeur de l'informatique

2008-03-2800:52:12

Pourquoi et comment le monde devient numérique

2008-01-2300:57:00

Download from Google Play

Download from App Store

FAQs

United States

00:00

1.0x

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