| Property |
Value |
| dbo:abstract
|
- 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. (fr)
- 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. (fr)
|
| dbo:almaMater
| |
| dbo:citizenship
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4863 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2013 (xsd:integer)
- 2014 (xsd:integer)
- 2019 (xsd:integer)
|
| prop-fr:auteur
|
- dbpedia-fr:Gilles_Dowek
- Benjamin Wack (fr)
- Jean-Christophe Filliâtre (fr)
- Judicaël Courant (fr)
- Kim Nguyễn (fr)
- Marc de Falco (fr)
- Stéphane Gonnord (fr)
- Sylvain Conchon (fr)
- Thibaut Balabonski (fr)
|
| prop-fr:date
|
- juillet 2020 (fr)
- juillet 2020 (fr)
|
| prop-fr:isbn
|
- 978 (xsd:integer)
- 9782340033641 (xsd:decimal)
- 9782340038554 (xsd:decimal)
|
| prop-fr:langue
| |
| prop-fr:mois
|
- Août (fr)
- Septembre (fr)
- août (fr)
- Août (fr)
- Septembre (fr)
- août (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:titre
|
- Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale. (fr)
- Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. (fr)
- Informatique pour tous en classes préparatoires aux grandes écoles : Manuel d'algorithmique et programmation structurée avec Python. (fr)
- Apprendre à programmer avec OCaml. Algorithmes et structures de données. (fr)
- Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale. (fr)
- Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. (fr)
- Informatique pour tous en classes préparatoires aux grandes écoles : Manuel d'algorithmique et programmation structurée avec Python. (fr)
- Apprendre à programmer avec OCaml. Algorithmes et structures de données. (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Éditions Ellipses (fr)
- Éditions Eyrolles (fr)
- Éditions Ellipses (fr)
- Éditions Eyrolles (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (fr)
- 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. (fr)
|
| rdfs:label
|
- Jean-Christophe Filliâtre (fr)
- Jean-Christophe Filliâtre (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
