Passer au contenu principal
≡
Actualités
Cours
FormaPro
Établissements
À propos
FAQ
Vous êtes ici:
Accueil
Sylvie Boldo
Sylvie Boldo
Sylvie Boldo est chercheuse en informatique à Saclay (Inria), spécialiste en arithmétique des ordinateurs, en preuves formelles et en vérification de programmes.
Cours
S'initier à l'enseignement en Sciences Numériques et Technologie
Établissement
Inria
Code du cours
41018