Rognier, Benoit (19..-....)

France
Date de naissance
19XX
Langues d'expression
français
Directeur d'Edukera, application en ligne de formation aux maths et à la logique (2019)

Disciplines liées à ses interventions

Vidéos

Conclusion (Introduction à la vérification de programme)
Vidéo pédagogique
00:04:47

Conclusion (Introduction à la vérification de programme)

Rognier
Benoit

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

Récursivité (Introduction à la vérification de programme)
Vidéo pédagogique
00:10:08

Récursivité (Introduction à la vérification de programme)

Rognier
Benoit

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

Exécution symbolique (Introduction à la vérification de programme)
Vidéo pédagogique
00:09:25

Exécution symbolique (Introduction à la vérification de programme)

Rognier
Benoit

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

Propos liminaire (Introduction à la vérification de programme)
Vidéo pédagogique
00:13:30

Propos liminaire (Introduction à la vérification de programme)

Rognier
Benoit

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements