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

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é. Q...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Leroy, Xavier, 1968-
Formaat: Livre numérique
Taal:Français
Gepubliceerd in: Paris : Collège de France 2019.
Marseille : OpenEdition
Onderwerpen:
Online toegang:Ressource accessible en libre accès
Accès INSA CVL
Accès Université d'Orléans et IFPM ; Accès complet au document dans sa version HTML. Pas d'accès aux autres formats (PDF, Epub).
Opmerking: Description d'après la consultation, 2020-04-14
Titre provenant de la page de titre du document électronique
La pagination de l'édition imprimée correspondante est de : 60 p.
Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
OpenEdition Books (freemium)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Le logiciel, entre l'esprit et la matière, Xavier Leroy,..., 2019, [Paris], Collège de France, Fayard, 1 vol. (60 p.), Leçons inaugurales du Collège de France, 978-2-2137-1241-3
LEADER 02673nam a22003257a 4500
001 1401169
008 200110r20192019xxe ||| |||| 00| 0 fre d
009 PPN241685362
020 |a 9782722605299 
041 0 |a fre 
100 1 |a Leroy, Xavier,  |d 1968- 
245 1 0 |a Le logiciel :  |b entre l'esprit et la matière   |c Xavier Leroy,... 
256 |a Données textuelles 
260 |a Paris :  |b Collège de France. 
260 |a Marseille :  |b OpenEdition,  |c 2019. 
500 |a Description d'après la consultation, 2020-04-14 
500 |a Titre provenant de la page de titre du document électronique 
500 |a La pagination de l'édition imprimée correspondante est de : 60 p. 
500 |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur 
500 |a OpenEdition Books (freemium) 
504 |a Bibliogr. Notes bibliogr. 
506 |a L'accès complet au document est ouvert à tous dans sa version HTML. L'accès aux autres formats (PDF, Epub) est réservé aux usagers des établissements qui en ont fait l'acquisition. 
520 |a 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 
538 |a Navigateur Web 
650 |a Logiciels 
776 0 |0 235777439  |t Le logiciel  |o entre l'esprit et la matière  |f Xavier Leroy,...  |d 2019  |c [Paris]  |n Collège de France  |n Fayard  |p 1 vol. (60 p.)  |s Leçons inaugurales du Collège de France  |z 978-2-2137-1241-3 
856 4 |q HTML  |u http://books.openedition.org/cdf/7671  |z Ressource accessible en libre accès 
856 4 |5 180339901:761424164  |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88933030  |z Accès INSA CVL 
856 4 |5 452349901:819987581  |u https://ezproxy.univ-orleans.fr/login?url=http://books.openedition.org/cdf/7671  |z Accès Université d'Orléans et IFPM ; Accès complet au document dans sa version HTML. Pas d'accès aux autres formats (PDF, Epub). 
997 |0 1401169  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/ScholarVox (ebooks)/