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

Enregistré dans:
Détails bibliographiques
Auteur principal: Leroy, Xavier (1968-....; informaticien). (Auteur)
Support: E-Book
Langue: Français
Publié: Paris : Collège de France.
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
Accès en ligne: Accès à l'E-book
+ d'infos
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
Description:Couverture (https://static2.cyberlibris.com/books_upload/136pix/9782722605299.png).
ISBN:9782722605299
Accès:L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement