000			00517nam a2200157Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780691147819 _c(hbk)
082			_223 _a502.85 _bTUC
100			_aTucker, Warwick
245		0	_aValidated numerics : a short introduction to rigorous computations
260			_aPrinceton: _bPrinceton University Press, _c2011
300			_axii, 138 p.; _bill.: _c24 cm.
650			_aNumerical calculations -- Verification
650			_aScience -- Data processing
942			_2ddc _cBK
999			_c18095 _d18095