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

Xavier Leroy (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/12_9782213712413_1_75.jpg

Etats :

Vendu et expédié par : Recyclivre

Occasion : État parfait

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

description

descriptif du fournisseur

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 ? À 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.

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

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

Xavier Leroy

On vous recommande avec votre achat

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

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

5,84€

+

voir mon panier

Découvrez aussi

Romans littérature Livre

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Off-campus Tome 4 : the goal • Off-campus Tome 2 : the mistake • Off-campus Tome 1 : the deal • D'autres printemps • Seasons Tome 4 : Un été pour te retrouver • La Dernière Allumette • L'adolescence du perroquet • Briar university Tome 4 : The dare ...

... Les sept soeurs Tome 2 : La soeur de la tempête • Les sept soeurs Tome 4 : La soeur à la perle • À la recherche du temps perdu : coffret Tomes 1 et 2 • Campus drivers : coffret Tomes 1 à 5

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.