C++ toolbox for verified computing I basic numerical problems

C++ toolbox for verified computing I basic numerical problems

Bibliografiske detaljer
Andre forfattere: Hammer, R. 1961- (Rolf)
Format: Bog
Sprog:English
Udgivet: Berlin Springer c1995.
Fag:
C++ (Computer program language)