Détail de l'auteur
Auteur Xavier Leroy |
Documents disponibles écrits par cet auteur (2)
Affiner la rechercheEntretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La Recherche, 548 (06/2019)
Titre : Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" Type de document : texte imprimé Auteurs : Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur Editeur : Sophia Publications, 2019 Article : p.4-8 Note générale : Bibliographie. Langues : Français (fre)
in La Recherche > 548 (06/2019)Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article]
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale"
de Xavier Leroy, Philippe Pajot
In La Recherche, 548 (06/2019), p.4-8
Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 021555 Disponible Numérique et sciences informatiques Tle / Ellipses (2020)
Titre : Numérique et sciences informatiques Tle : 24 leçons avec exercices corrigés Type de document : texte imprimé Auteurs : Xavier Leroy, Préfacier, etc. Editeur : Ellipses, 2020 Description : 515 p. Format : 24 cm ISBN/ISSN : 978-2-340-03855-4 Prix : 21 € Note générale : Préface. Index Descripteurs : informatique / langage de programmation / programmation / traitement de données Résumé : Un cours reprenant l'ensemble du programme, accompagné d'exercices corrigés et d'encarts thématiques, ainsi que des sujets de projets collaboratifs et pluridisciplinaires. Nature du document : documentaire Genre : manuel Niveau : Lycée Discipline : NSI (Numérique et sciences informatiques)
Numérique et sciences informatiques Tle : 24 leçons avec exercices corrigés
Ellipses, 2020, 515 p.
Un cours reprenant l'ensemble du programme, accompagné d'exercices corrigés et d'encarts thématiques, ainsi que des sujets de projets collaboratifs et pluridisciplinaires.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité 004 ELL documentaire Espace Lycée 023511 Disponible
