Domaines numériques abstraits faiblement relationnels / par Antoine Miné

Date :

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)

Relation : Domaines numériques abstraits faiblement relationnels / par Antoine Miné ; sous la direction de Patrick Cousot / [S.l.] : [s.n.] , 2004