Description
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.
Détails sur le produit
Nous travaillons avec plusieurs fournisseurs ce qui nous permet de vous proposer plus de 180 000 références.
Afin de vous satisfaire, tous les produits indiqués "sur-commande", "en réapprovisionnement" et "Pré-commande" sont des produits disponibles ou annoncés prochainement auprès de nos fournisseurs mais ne sont pas en stock dans nos locaux.
Généralement les délais de livraison dans nos locaux sont soit:
- le jour de la sortie
- sous 1 à 5 semaines selon l'éditeur si le produit est en cours de réassort
- Certains produits sont malheureusement long à réapprovisionner car en rupture temporaire et nous ferons une demande d'estimation de livraison pour mieux vous aider
Nous sommes livrés du mardi au samedi ce qui nous permet de vous envoyer vos commandes le plus rapidement possible.
Dès la confirmation de l'expédition, votre commande sera livré sous 24/48 heures.
Les avantages de travailler "sur-commande" et/ou "en réapprovisionnement":
- Prix le plus bas garanti (PPC)
- Une garantie de 2 ans pour les produits neufs et de 6 mois pour les produits d'occasion.
- L'impossibilité d'annuler la commande
- Les délais sont malheureusement long
- Le produit peut être indisponible
En cas d'indisponibilité votre commande sera annulée et remboursée
Les avantages de précommander :
- L'intérêt d'une précommande porte sur le fait qu'il offre la possibilité de réserver prioritairement un produit.
- Sachant que la plupart des produits sont édités à très peu d'exemplaires et / ou en éditions limitées, le fait de les précommander permet à nos éditeurs de fabriquer suffisamment d'exemplaires et d'éviter la rupture de stock et même l'annulation avant sa sortie nationale ou de proposer une nouvelle édition.
- Livraison le jour de sa sortie
Nous restons disponibles pour répondre à vos questions, soit par mail, soit par téléphone.
sur:
Langue
Nbres Pages
Auteurs
Info éditeur
Nous vous proposons également
- S'ouvre dans une nouvelle fenêtre.