01783nam2 22004333i 450 VAN0029401720250603113728.213N978364279651720250603d1995 |0itac50 baengDE|||| |||||i e bcrˆ1: ‰Basic numerical problemsR. Hammer ... [et al.]BerlinSpringer1995xv, 377 p.ill.25 cm001VAN002940152001 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.VANV217974ITSOL20250718RICAhttps://doi.org/10.1007/978-3-642-79651-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00294017BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11790 08eMF11790 20250714 Basic numerical problems1405508UNICAMPANIA