Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Le Logiciel : entre l'esprit et la matière
Fayard - EAN : 9782213712413
Édition papier
EAN : 9782213712413
Paru le : 1 nov. 2025
12,00 €
11,37 €
Epuisé
Arrêt définitif de commercialisation
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9782213712413
- Réf. éditeur : 4184494
- Collection : COLLEGE DE FRAN
- Editeur : Fayard
- Date Parution : 1 nov. 2025
- Disponibilite : Epuisé
- Barème de remise : NS
- Nombre de pages : 80
- Format : H:185 mm L:120 mm E:8 mm
- Poids : 86gr
- Interdit de retour : Retour interdit
-
Résumé :
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 ? À 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.
