Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=161843484.

Taking architecture and compiler into account in formal proofs of numerical programs / Thi Minh Tuyen Nguyen ; sous la direction de Claude Marché et de Sylvie Boldo

Date :

Editeur / Publisher : , 2012

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Arithmétique en virgule flottante -- Thèses et écrits académiques

Compilation (informatique) -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Marché, Claude (19..-....) (Directeur de thèse / thesis advisor)

Boldo, Sylvie (Directeur de thèse / thesis advisor)

Muller, Jean-Michel (1961-....) (Président du jury de soutenance / praeses)

Monniaux, David (1976-) (Rapporteur de la thèse / thesis reporter)

Muñoz, César (Rapporteur de la thèse / thesis reporter)

Leroy, Xavier (1968-.... ; chercheur en informatique) (Membre du jury / opponent)

Hivert, Florent (Membre du jury / opponent)

Université Paris-Sud (Organisme de soutenance / degree-grantor)

Ecole doctorale Informatique de Paris-Sud (Ecole doctorale associée à la thèse / doctoral school)

Proval (Saclay) (Laboratoire associé à la thèse / thesis associated laboratory)