Numerical calculations - Verification.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Validated numerics : a short introduction to rigorous computations by: Tucker, Warwick (1961-) (書目-語言資料,印刷品)