Résultats de la recherche - Filliâtre, Jean-Christophe, 1971-

Jean-Christophe Filliâtre

Jean-Christophe Filliâtre est un informaticien français, directeur de recherche au CNRS travaillant au sein du Laboratoire Méthodes Formelles. Il est spécialisé dans le domaine de la vérification déductive de programmes. Il enseigne à l'École normale supérieure ainsi qu'à l'École polytechnique. Informations fournies par Wikipedia
  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1
    Image de couverture de livre

    Spécialité NSI, numérique et sciences informatiques 1re : 30 leçons avec exercices corrigés : nouveaux programmes par Balabonski, Thibaut, Conchon, Sylvain, 1972-, Filliâtre, Jean-Christophe, 1971-, Nguyen, Kim, 1981-

    Publié 2019
    Livre


    Ajouter à une liste
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Informatique pour tous en classes préparatoires aux grandes écoles : manuel d'algorithmique et programmation structurée avec Python : nouveaux programmes 2013, voies MP, PC, PSI, P... par Wack, Benjamin, 1979-, Conchon, Sylvain, 1972-, Courant, Judicaël, Falco, Marc de, 1981-, Dowek, Gilles, 1966-, Filliâtre, Jean-Christophe, 1971-, Gonnord, Stéphane, 19..-

    Publié 2013
    Livre


    Ajouter à une liste
    Enregistré dans:

Outils de recherche: