C++ toolbox for verified computing I basic numerical problems

Sonraí bibleagrafaíochta
Rannpháirtithe:	Hammer, R. 1961- (Rolf)
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	Berlin Springer c1995.
Ábhair:	C++ (Computer program language)