Le logiciel, entre l'esprit et la matière
Auteur(s) :
Leroy, Xavier (19..-.... ; informaticien) (Auteur)
Editeur(s) :
Fayard , Collège de France
Collection(s) :
Leçons inaugurales du Collège de France
Rayon(s) :
Informatique
Public(s) :
Public motivé
Ean :
9782213712413
Date de parution :
24/04/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 2024
Indisponible chez l'éditeur
0,00 €
Livraison à partir de 4 € en France métropolitaine