Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici

Le logiciel, entre l'esprit et la matière

Le logiciel, entre l'esprit et la matière-fayard-9782213712413
Le logiciel, entre l'esprit et la matière 

Editeur : FAYARD

Collection : Collège de France

Année : 05/2019
Chaire 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 ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
Xavier 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.
Reliure : Broché
Nbr de pages : 80
Dimension : 12 x 19 cm
ISBN 10 : 2213712417
ISBN 13 : 9782213712413
12,00 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)
Avis clients sur Le logiciel, entre l'esprit et la matière - fayard - Collège de France
(Tous les avis sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis

Rubriques associées pour Le logiciel, entre l'esprit et la matière :