Le logiciel, entre l'esprit et la matière - Poche

Note moyenne 
Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il... Lire la suite
12,00 € Neuf
Expédié sous 3 à 6 jours
Livré chez vous entre le 27 février et le 2 mars
En librairie

Résumé

Chaire Sciences du logiciel 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 ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

Caractéristiques

  • Date de parution
    24/04/2019
  • Editeur
  • Collection
  • ISBN
    978-2-213-71241-3
  • EAN
    9782213712413
  • Format
    Poche
  • Présentation
    Broché
  • Nb. de pages
    80 pages
  • Poids
    0.086 Kg
  • Dimensions
    12,0 cm × 18,5 cm × 0,8 cm

Avis libraires et clients

À propos de l'auteur

Biographie de Xavier Leroy

Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nominé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

Du même auteur

Les clients ont également aimé

Derniers produits consultés

Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK
12,00 €