LEADER 01155nam2 2200265 i 450 
001 SUN0048552
005 20170627115739.24
010   $a8-3-642-79653-1$d0.00
100   $a20060727d1995       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $a1: *Basic numerical problems
210   $a1995
215   $aXV, 377 p.$d25 cm.
461  1$1001SUN0048550$12001 $a*C++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer, ... [et al.]$v1$1210  $aBerlin$cSpringer$1215  $av.$d25 cm.
606   $a68N15$xTheory of programming languages [MSC 2020]$2MF$3SUNC025161
620   $dBerlin$3SUNL000066
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201026$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Hammer et al. - Cplus plus toolbox for verified computing I. basic numerical problems.pdf$zContents
912   $aSUN0048552
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   1817        $e08   5651      I       20060727            
996   $aBasic numerical problems$91405508
997   $aUNICAMPANIA