{"product_id":"le-logiciel-entre-l-esprit-et-la-mati-re-9782213712413","title":"Le logiciel, entre l'esprit et la matière","description":"\u003cp\u003eChaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il exécute. Cette extraordinaire plasticité a permis à l'ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique  ? Comment maîtriser l'incroyable et souvent effrayante complexité du logiciel  ? Comment éviter les «  bugs  » de programmation et résister aux attaques  ? Comment établir qu'un logiciel est digne de confiance  ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.\u003c\/p\u003e\n\n\u003cp\u003eXavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai  2018.\u003c\/p\u003e","brand":"Fayard","offers":[{"title":"Default Title","offer_id":52359377289552,"sku":"PAP9782213712413","price":12.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0019\/1171\/7933\/files\/9782213712413_1_75.jpg?v=1763522231","url":"https:\/\/www.flashvideofilm.fr\/products\/le-logiciel-entre-l-esprit-et-la-mati-re-9782213712413","provider":"flash vidéo","version":"1.0","type":"link"}