Domaines numériques abstraits faiblement relationnels / par Antoine Miné
Date : 2007
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é ; sous la direction de Patrick Cousot / [S.l.] : [s.n.] , 2004
Accès en ligne / online access