Le logiciel : entre l'esprit et la matière
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | E-Book |
| Ngôn ngữ: | Français |
| Được phát hành: |
Paris :
Collège de France.
2019.
Paris : Cyberlibris, |
| Những chủ đề: | |
| Autres localisations: | Voir dans le Sudoc |
| Tóm tắt: | 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 |
| Truy cập trực tuyến: | Accès à l'E-book |
| Các quyển sách có liên quan: | Biểu mẫu bổ sung:
Le logiciel |