01774nam2 2200421 i 450 VAN0004855220250603113614.426978-36-427-9653-120060727d1995 |0itac50 baengDE|||| |||||i e nncˆ1: ‰Basic numerical problemsR. Hammer ... [et al.]BerlinSpringer1995xv, 377 p.ill.25 cm001VAN000485502001 C++ toolbox for verified computingtheory, algorithms and programsR. Hammer, ... [et al.]210 BerlinSpringer215 volumi25 cm168N15Theory of programming languages [MSC 2020]VANC025161MFAlgorithmsKW:KAutomatic resultsKW:KC++ and C-XSCKW:KInterval arithmeticKW:KSelf-validating numericsKW:KSimplification of ProgrammingKW:KBerlinVANL000066HammerRichard D.VANV017563Springer <editore>VANV108073650Hammer, R. D.Hammer, Richard D.VANV062986Hammer, R.D.Hammer, Richard D.VANV217974ITSOL20250606RICA/sebina/repository/catalogazione/documenti/Hammer et al. - Cplus plus toolbox for verified computing I. basic numerical problems.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00048552BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 1817 08 5651 I 20060727 Basic numerical problems1405508UNICAMPANIA