H C++ toolbox for verified computing I
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 39532 | 1014922 | MAGASIN [non empruntable] |
Sous-titre : basic numerical problems, theory, algorithms, and programs
ISBN10 : 3-540-59110-9
Type de doc : A
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : de
Langue ouvrage : eng
Bibliographie : Bibliogr. p. 360-365
Class. Library : QA76.73.C153C18
N° LCCCN : 95-10173
Class. Dewey : 519.4'0285'5133
Lien SUDOC : https://www.sudoc.fr/023129913