Personnaliser

OK
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Euro

Mettre en vente

Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group

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

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion
Reconditionné

12,00 €

Produit Neuf

  • Livraison : 3,00 €
  • Livré entre le 24 et le 30 juillet
Voir les modes de livraison

Toutilibris

PRO Vendeur favori

4,6/5 sur + de 1 000 ventes

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
    Voir les modes de livraison

    4,5/5 sur + de 1 000 ventes

    Libraire professionnel. Livre neuf. Exp¿dition sous 3 ¿ 6 jours. Suivi par mail.

Publicité
 
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

Gratuit et sans engagement

Félicitations !

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

En savoir plus

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

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


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

       - Livre Informatique

      Livre Informatique - Leroy Xavier - 27/11/2024 - Poche

      Auteur(s) : Leroy XavierEditeur : Collège De FranceCollection : Leçons inauguralesParution : 27/11/2024Nombre de pages : 60Expédition : 90Dimensions : 18 x 12 x 0.7 ...

    • Auteur(s) : Leroy Xavier
    • Editeur : Collège De France
    • Collection : Leçons inaugurales
    • Parution : 27/11/2024
    • Nombre de pages : 60
    • Expédition : 90
    • Dimensions : 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.

      © Notice établie par DECITRE, libraire

      Détails de conformité du produit

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

      Personne responsable dans l'UE

      )
      Neuf et occasion
      Le choixNeuf et occasion
      5% remboursés
      Minimum5% remboursés
      Satisfait ou remboursé
      La sécuritéSatisfait ou remboursé
      À votre écoute
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      RakutenLogos.svg
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com