01155nam2 2200265 i 450 SUN004855220170627115739.248-3-642-79653-10.0020060727d1995 |0engc50 baengDE|||| |||||1: *Basic numerical problems1995XV, 377 p.25 cm.001SUN00485502001 *C++ toolbox for verified computingtheory, algorithms and programsR. Hammer, ... [et al.]1210 BerlinSpringer215 v.25 cm.68N15Theory of programming languages [MSC 2020]MFSUNC025161BerlinSUNL000066SpringerSUNV000178650ITSOL20201026RICA/sebina/repository/catalogazione/documenti/Hammer et al. - Cplus plus toolbox for verified computing I. basic numerical problems.pdfContentsSUN0048552UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 1817 08 5651 I 20060727 Basic numerical problems1405508UNICAMPANIA