书目详细信息 : 科学计算中的确认与验证