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.

Caractéristiques

Collection : Leçons inaugurales

Auteur(s) : Xavier Leroy

Publication : 9 décembre 2019

Édition : 1re édition

Intérieur : Noir & blanc

Support(s) : eBook [PDF + ePub + Mobipocket + WEB]

Contenu(s) : PDF, ePub, Mobipocket, WEB

Protection(s) : Marquage social (PDF), Marquage social (ePub), Marquage social (Mobipocket), DRM (WEB)

Taille(s) : 1,1 ko (PDF), 119 ko (ePub), 334 ko (Mobipocket), 1 octet (WEB)

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 eBook [PDF + ePub + Mobipocket + WEB] : 9782722605299

EAN13 (papier) : 9782722607040

Avis

Ouvrages du même auteur

Ouvrages de la même collection

--:-- / --:--