Les frais de livraison sont à 0,01€ à partir de 49 € d'achat *hors collectivités et pour la France métropolitaine

univers suivant univers précédent
Le logiciel, entre l'esprit et la matière

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

Fayard ,
Collège de France ,
collection Leçons inaugurales du Collège de France, n° 284 , (avril 2019)

Résumé

Une présentation des fondements des sciences du logiciel qui évoque notamment les principes mathématiques permettant de construire et de vérifier leur fiabilité. Cette discipline, visant à trouver des approches rigoureuses en mesure d'améliorer la sécurité des logiciels, nécessite le développement de langages informatiques simplifiés. ©Electre 2019

12,00 € 11,40 € -5 % avec le retrait en magasin
- 5 % sur les livres avec le retrait en magasin

Profitez du prix le moins cher en choisissant le retrait gratuit en magasin. Le prix se mettra à jour automatiquement lors de la validation de votre commande.

Extrait des conditions générales de vente sur le livre :
Conformément à la nouvelle loi encadrant les conditions de la vente à distance des livres, qui vient compléter la loi du 10 août 1981 sur le prix du livre, l'application d'une remise de 5 % sur les prix des livres n'est désormais possible que dans le cadre d'un retrait dans un point de vente commercialisant des livres. Bénéficiez ainsi de la remise de 5 % sur le prix éditeur et de la livraison gratuite en choisissant de faire livrer votre commande au magasin choisi.
Voir disponibilités en librairies

À paraître

Je commande exemplaire(s)

Ajouter au panier

Nos modes de livraison...
modes de livraison

Ma sélection Liste cadeaux

Avis des internautes (0 avis)

Soyez le premier à donner votre avis.

Résumé

Une présentation des fondements des sciences du logiciel qui évoque notamment les principes mathématiques permettant de construire et de vérifier leur fiabilité. Cette discipline, visant à trouver des approches rigoureuses en mesure d'améliorer la sécurité des logiciels, nécessite le développement de langages informatiques simplifiés. ©Electre 2019

Quatrième de couverture

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.

Fiche technique

Famille :

Sous famille :

Sous sous famille :

Reliure:
Broché

Page :
60p

Format :
19x12cm

Poids:
Non précisé

ISBN :
2-213-71241-7

EAN13 :
9782213712413