LEADER 00941nam1 2200253 i 450 
001 VAN0048550
005 20231124084737.138
100   $a20060727g1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aC++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer, ... [et al.]
210   $aBerlin$cSpringer
215   $avolumi$d25 cm
463  1$1001VAN0048552$12001 $aˆ1: ‰Basic numerical problems$fR. Hammer, ... [et al.]$1210  $aBerlin$cSpringer$d1995$1215  $aXV, 377 p.$d25 cm$v1
620   $dBerlin$3VANL000066
702  1$aHammer$bRichard D.$3VANV017563
712   $aSpringer <editore>$3VANV108073$4650
790  1$aHammer, R. D.$zHammer, Richard D.$3VANV062986
790  1$aHammer, R.D.$zHammer, Richard D.$3VANV217974
801   $aIT$bSOL$c20240614$gRICA
912   $aVAN0048550
996   $aC++ toolbox for verified computing$91465420
997   $aUNICAMPANIA