预售 Validated Numerics验证数值学：导论 [9780691247656]

现货 验证数值学：导论 Validated Numerics: A Short Introduction to Rigorous Computations [9780691247656]