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
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

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 

Auteur : 

Editeur : FAYARD

Collection : Collège de France

Date parution :

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.

Auteurs :

Auteur 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é nominé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.


En suivant ce lien, retrouvez tous les livres dans la spécialité Développement d'applications.
Reliure : Broché
Nbr de pages : 80
Dimension : 12 x 19 cm
ISBN 10 : 2213712417
ISBN 13 : 9782213712413
12,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Avis clients sur Le logiciel, entre l'esprit et la matière - fayard - Collège de France

(Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis
Dernières parutions dans Collège de France, De la physique statistique aux sciences sociales
12,00 €
Dernières parutions dans Collège de France, Reconstruire l'ordre institutionnel international
12,00 €
Dernières parutions dans Collège de France, Complexité des structures linguistiques, simplicité des mécanismes du langage
12,00 €
Dernières parutions dans Collège de France, Biologie de la culture
12,00 €
Dernières parutions dans Collège de France, La matière noire dans l'Univers
10,20 €
Dernières parutions dans Collège de France, L'oncologie : de l'empirisme à la biologie intégrée
10,20 €
Dernières parutions sur Développement d'applications, Développement et architecture des applications web modernes
45,00 €
Dernières parutions sur Développement d'applications, Cryptologie
8,00 €
Dernières parutions sur Développement d'applications, Boîte à idées pour le Raspberry Pi
34,95 €
Dernières parutions sur Développement d'applications, Kotlin
45,00 €
Dernières parutions sur Développement d'applications, L'apprentissage profond avec python
39,00 €
Dernières parutions sur Développement d'applications, Programmation arduino
19,50 €