interval analysis methods(区间分析) 时间:2017-07-13 04:11:08 【文件属性】: 文件名称:interval analysis methods(区间分析) 文件大小:1021KB 文件格式:PDF 更新时间:2017-07-13 04:11:08 interval analysis 区间运算的数学基础,代码的形式化验证常用 立即下载