

Le Logiciel, Entre L'esprit Et La Matière - Leroy Xavier
- Collection: Leçons inaugurales
- Format: Poche
- 60 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreChargement...
12,00 €
Produit Neuf
- Livraison : 3,00 €
- Livré entre le 24 et le 30 juillet
Libraire professionnel. Livre neuf. Exp¿dition sous 3 ¿ 6 jours. Suivi par mail.
Nos autres offres
-
12,00 €
Produit Neuf
-
Livraison : 3,00 €
0,01 € dès 35,00 € chez ce vendeur - Livré entre le 30 et le 31 juillet
Libraire professionnel. Livre neuf. Exp¿dition sous 3 ¿ 6 jours. Suivi par mail.
-
Livraison : 3,00 €
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour

Avis sur Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique
0 avis sur Le Logiciel, Entre L'esprit Et La Matière Format Poche - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
25 Énigmes Ludiques Pour S'initier À La Cryptographie
4 avis
Occasion dès 8,00 €
-
Réseaux Informatiques - Notions Fondamentales (Protocoles, Architectures, Réseaux Sans Fil, Virtualisation, Sécurité, Ipv6...)
1 avis
Neuf dès 19,00 €
Occasion dès 6,31 €
-
Analyse De Données En Python - Manipulation De Données Avec Pandas, Numpy Et Ipython
Occasion dès 17,30 €
-
Dans Le Cerveau Du Gamer - Neurosciences Et Ux Dans La Conception De Jeux Vidéo
1 avis
Neuf dès 33,00 €
Occasion dès 17,86 €
-
Bases De Données - Informatique But 1re Année Et L1
Neuf dès 22,90 €
Occasion dès 15,50 €
-
Python Pour Le Data Scientist - Des Bases Du Langage Au Machine Learning
Occasion dès 10,91 €
-
Le Montage C'est Pas Sorcier ! - 58 Leçons Express Pour Créer Un Film
2 avis
Neuf dès 22,90 €
Occasion dès 12,00 €
-
Introduction Au Deep Learning
Neuf dès 26,90 €
Occasion dès 14,68 €
-
Cisco - Configurez Routeurs Et Commutateurs - Exercices Et Corrigés
2 avis
Occasion dès 17,90 €
-
Mettre En Oeuvre Devops - Comment Évoluer Vers Une Dsi Agile
Occasion dès 7,29 €
-
Excel Pour Les Nuls
Neuf dès 22,95 €
Occasion dès 8,45 €
-
Linux - Principes De Base De L'utilisation Du Système
1 avis
Neuf dès 24,00 €
Occasion dès 13,19 €
-
L'intelligence Artificielle Expliquée À Mon Boss
Occasion dès 11,22 €
-
Business Intelligence Avec Excel - Des Données Brutes À L'analyse Stratégique
1 avis
Neuf dès 21,95 €
Occasion dès 10,45 €
-
Raspberry Pi - Le Guide De L'utilisateur, Edition À Jour De Raspberry Pi 3
2 avis
Neuf dès 29,40 €
Occasion dès 8,01 €
-
Calculs Mathématiques, Statistiques Et Financiers - Avec Excel (Versions 2019 Et Office 365)
Neuf dès 13,89 €
Occasion dès 14,89 €
-
Ia Génératives Pour Créer Du Contenu - 31 Outils + 4 Plans D'action
Neuf dès 16,90 €
Occasion dès 12,90 €
-
Bataille Royale - Comment Préserver Votre Emploi Face À L'intelligence Artificielle
1 avis
Occasion dès 6,00 €
-
Faire Parler Les Ordinateurs - La Révolution Chatgpt
1 avis
Neuf dès 19,90 €
Occasion dès 7,29 €
-
Maintenance Et Dépannage D'un Pc En Réseau
Occasion dès 11,01 €
Produits similaires
Présentation Le Logiciel, Entre L'esprit Et La Matière Format Poche
- Livre InformatiqueAuteur(s) : Leroy XavierEditeur : Collège De FranceCollection : Leçons inauguralesParution : 27/11/2024Nombre de pages : 60Expédition : 90Dimensions : 18 x 12 x 0.7 ...
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 ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
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. Précédemment chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.
©
Détails de conformité du produit
Personne responsable dans l'UE