Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
P
preuve de programme
11
ressources en auto-formation :
preuve de programme
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
2
1
2
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
11
résultats
page 2
sur 2
Résultats de
11 à 11
cours / présentation
Pourquoi mon ordinateur calcule faux?
Auteur(s)
:
BOLDO Sylvie
Description
:
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
bug
algorithmique
arithmétique flottante
calcul informatique
méthode formelle
nombre à virgule flottante
preuve de programme
vérification de logiciel
1
2