书堆儿你看书我买单
凤翔区图书馆开通在线免押金办证了
热门搜索： 旅游 、 孤独六讲 、 胜者思维 、 儿童 、 家庭 、 杨红樱 、 团队 、 欢乐颂
书堆儿服务号
书堆儿App
我的书架

计算科学与工程领域的计算机代码验证

作者:帕特里克?克努普出版时间：2023/3/16出版社：国防工业出版社
ISBN:9787118128475价格:￥68
  分享至
借阅 加入书架 借阅规则
内容简介
本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐