Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

1 résultat
Image document

Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations

Ivan Gazeau
Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français. ⟨NNT : ⟩
Thèse pastel-00913469v1