Domaines numériques abstraits faiblement relationnels / par Antoine Miné ; sous la direction de Patrick Cousot
Date : 2004
Editeur / Publisher : [S.l.] : [s.n.] , 2004
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Logiciels -- Vérification
Arithmétique en virgule flottante
Systèmes embarqués (informatique)
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