Le logiciel : entre l'esprit et la matière
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | E-Book |
| Idioma: | Français |
| Publicado: |
Paris :
Collège de France.
2019.
Paris : Cyberlibris, |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| 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 |
| Acceso en liña: | Accès à l'E-book |
| Títulos relacionados: | Forma adicional:
Le logiciel |
| LEADER | 01618nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | ebook-267951965 | ||
| 008 | 230222s2019 xxg ||| |||| 00| 0 fre d | ||
| 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,... |
| 260 | |a Paris : |b Collège de France. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2019. | ||
| 500 | |a Couverture |u https://static2.cyberlibris.com/books_upload/136pix/9782722605299.png | ||
| 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 | ||
| 650 | |a Logiciels | ||
| 776 | 0 | |0 235777439 |t Le logiciel |o entre l'esprit et la matière |f Xavier Leroy,... |p 1 vol. (60 p.) |s Leçons inaugurales du Collège de France | |
| 856 | 4 | |q HTML |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88933030 |z Accès à l'E-book | |
| 993 | |a E-Book | ||
| 994 | |a BNUM | ||
| 995 | |a 267951965 | ||