C++ toolbox for verified computing I basic numerical problems

C++ toolbox for verified computing I basic numerical problems

Xehetasun bibliografikoak
Beste egile batzuk: Hammer, R. 1961- (Rolf)
Formatua: Liburua
Hizkuntza:English
Argitaratua: Berlin Springer c1995.
Gaiak:
C++ (Computer program language)