00941nam1 2200253 i 450 VAN004855020231124084737.13820060727g1995 |0itac50 baengDE|||| |||||C++ toolbox for verified computingtheory, algorithms and programsR. Hammer, ... [et al.]BerlinSpringervolumi25 cm001VAN00485522001 ˆ1: ‰Basic numerical problemsR. Hammer, ... [et al.]210 BerlinSpringer1995215 XV, 377 p.25 cm1BerlinVANL000066HammerRichard D.VANV017563Springer <editore>VANV108073650Hammer, R. D.Hammer, Richard D.VANV062986Hammer, R.D.Hammer, Richard D.VANV217974ITSOL20240614RICAVAN0048550C++ toolbox for verified computing1465420UNICAMPANIA