00939nam1 22003013i 450 VAN0029401520250603113650.74020250603g1995 |0itac50 baengDE|||| |||||i e bcrC++ toolbox for verified computingtheory, algorithms and programsR. Hammer ... [et al.]BerlinSpringervolumi25 cm001VAN002940172001 <<1: >>Basic numerical problemsBerlinVANL000066HammerRichard D.VANV017563Springer <editore>VANV108073650Hammer, R. D.Hammer, Richard D.VANV062986Hammer, R.D.Hammer, Richard D.VANV217974ITSOL20250606RICANVAN00294015C++ toolbox for verified computing1465420UNICAMPANIA