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

> Fiche œuvre du catalogue https://superlivre.fr/livre/le-logiciel-entre-lesprit-et-la-matiere-cb476244030 (données du dépôt légal BnF).

- **Auteur** : [Xavier Leroy](https://superlivre.fr/auteur/xavier-leroy-cb11912631g) (1968–)
- **Première parution** : 2024
- **Langue** : français
- **Éditions recensées** : 1 (2024–2024)

## Résumé

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.

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2024 | [Collège de France](https://superlivre.fr/editeur/college-de-france) | Paris | 60 | 978-2-7226-0704-0 |