0 avis
Le logiciel : entre l'esprit et la matière / Xavier Leroy,...
Livre
Edited by Collège de France ; Fayard - 2019
La 4e de couverture indique : "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."
Autres documents dans la collection «Leçon inaugurale - Collège de France»
Se procurer le document
Autre format
Issus de la même oeuvre
Suggestions
Du même sujet
![Docker : prise en main et mise en pratique sur une architecture micro-services / [Jean-Philippe Gouigoux] | Gouigoux, Jean-Philippe. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/40FolOeU8vyM9uHRBvsiCw2/9782409012372/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Docker : prise en main et mise en pratique sur une architecture micro-services / [Jean-Philippe Gouigoux]'")
![Analysez efficacement vos données : à l'aide des tableaux croisés dynamiques d'Excel (versions 2019 et Office 365) / [Pierre Rigollet] | Rigollet, Pierre. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/TpCvdUSAaYedq9F2FL7BCA2/9782409025945/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Analysez efficacement vos données : à l'aide des tableaux croisés dynamiques d'Excel (versions 2019 et Office 365) / [Pierre Rigollet]'")
![Marketing research with SPSS / Wim Janssens ... [et al.] |](https://covers.syracuse.cloud/Cover/ICTL/MONO/1dg5KFAJr2wy8QKRfLfKCg2/9780273703839/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Marketing research with SPSS / Wim Janssens ... [et al.]'")
![SQL par l'exemple : la pratique professionnelle des bases de données / Sylvain Berger, Cédric Cassagne, Cédric Chaissac... [et al.] | Berger, Sylvain (19..-....) - chef de projet informatique. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/3oIHHXONBieQiKWZNsMH4A2/9782340068834/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'SQL par l'exemple : la pratique professionnelle des bases de données / Sylvain Berger, Cédric Cassagne, Cédric Chaissac... [et al.]'")
![Kubernetes : gérez la plateforme de déploiement de vos applications conteneurisées / [Yannig Perré] | Perré, Yannig. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/Q8WCZlbelimeaMee9whCdA2/9782409021060/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Kubernetes : gérez la plateforme de déploiement de vos applications conteneurisées / [Yannig Perré]'")