Le Logiciel, Entre L'esprit Et La Matière Format Poche

Le Logiciel, Entre L'esprit Et La Matière - Leroy Xavier

Collection: Leçons inaugurales
Format: Poche
80 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Occasion (2)

Reconditionné

Prix neuf 12,00 €

Qu'est-ce que le prix barré ?

C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.

4,09 €

Occasion · Très Bon État

Livraison GRATUITE
Livré entre le 23 et le 26 juillet

Voir les modes de livraison

Protection acheteurs :
0,00 €

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Livré gratuitement chez vous en 2 semaines. Article presque inutilisé, absence presque totale de traces d'utilisation. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis (https://fr.shopping.rakuten.com/feedback/mo... Voir plus

Nos autres offres

4,49 €

SOLDES

-64%

Qu'est-ce que le prix barré ?

C'est le prix le plus bas que le vendeur a pratiqué au cours des 30 jours précédant l'application de la réduction de prix.
En savoir plus

1,60 €

Occasion · Comme Neuf

En savoir plus
Disponible en retrait gratuit en 48h en magasin

Option Express : Chez vous le 22/07 (?)
- Livraison : 3,00 €
  Gratuits dès 14,99 € chez ce vendeur
- Livré entre le 21 juillet et le 2 août
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
GibertJoseph

PRO

4,9/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Produit d'occasion en stock. Jusqu'à -80% de réduction - Expédié sous 12 à 24 heures en France métropolitaine exclusivement. Retrait gratuit dans nos magasins en 48h. Emballage soigné.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique

Note : 0 0 avis sur Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Le Logiciel, Entre L'esprit Et La Matière Format Poche
- Livre Informatique

Livre Informatique - Leroy Xavier - 24/04/2019 - Poche

Auteur(s) : Leroy XavierEditeur : Fayard/Collège De FranceCollection : Leçons inauguralesParution : 24/04/2019Nombre de pages : 80Expédition : 86Dimensions : 18.5 x 12 x 0.8 ...

Auteur(s) : Leroy Xavier

Editeur : Fayard/Collège De France

Collection : Leçons inaugurales

Parution : 24/04/2019

Nombre de pages : 80

Expédition : 86

Dimensions : 18.5 x 12 x 0.8

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.

Biographie:
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.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Le Logiciel, Entre L'esprit Et La Matière - Leroy Xavier

Avis sur Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique

Présentation Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique

Présentation Le Logiciel, Entre L'esprit Et La Matière Format Poche
- Livre Informatique