Domaines numériques abstraits faiblement relationnels / par Antoine Miné ; sous la direction de Patrick Cousot

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2004

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Logiciels -- Vérification

Arithmétique en virgule flottante

Systèmes embarqués (informatique)

Cousot, Patrick (1948-.... ; informaticien) (Directeur de thèse / thesis advisor)

École polytechnique (Palaiseau, Essonne ; 1795-....) (Organisme de soutenance / degree-grantor)

Relation : Domaines numériques abstraits faiblement relationnels / par Antoine Miné / Villeurbanne : [CCSD] , 2007

Relation : Domaines numériques abstraits faiblement relationnels / par Antoine Miné ; sous la direction de Patrick Cousot / Grenoble : Atelier national de reproduction des thèses , 2004