C++ toolbox for verified computing I basic numerical problems

Bibliographische Detailangaben
Weitere Verfasser:	Hammer, R. 1961- (Rolf)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Springer c1995.
Schlagworte:	C++ (Computer program language)