01453nam2 2200313 i 450 VAN004855220231127111925.390978-36-427-9653-120060727d1995 |0itac50 baengDE|||| |||||ˆ1: ‰Basic numerical problemsR. Hammer, ... [et al.]BerlinSpringer1995XV, 377 p.25 cm001VAN00485502001 C++ toolbox for verified computingtheory, algorithms and programsR. Hammer, ... [et al.]210 BerlinSpringer215 volumi25 cm168N15Theory of programming languages [MSC 2020]VANC025161MFBerlinVANL000066HammerRichard D.VANV017563Springer <editore>VANV108073650Hammer, R. D.Hammer, Richard D.VANV062986Hammer, R.D.Hammer, Richard D.VANV217974ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Hammer et al. - Cplus plus toolbox for verified computing I. basic numerical problems.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0048552BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 1817 08 5651 I 20060727 Basic numerical problems1405508UNICAMPANIA