|
题名:
|
计算科学与工程领域的计算机代码验证 / (美) 帕特里克·努普, 坎比兹·萨拉里著 , 陈江涛, 章超, 李彬等译 |
|
ISBN:
|
978-7-118-12847-5 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
XII, 120页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2023 |
|
内容提要:
|
本书共十章, 全面系统地介绍了计算机代码验证, 包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段, 即“基于人造解方法的精度阶验证” (OVMSP) 。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
|
主题词:
|
程序校验 研究 |
|
中图分类法:
|
TP311.55 版次： 5 |
|
主要责任者:
|
努普 著 |
|
主要责任者:
|
萨拉里 著 |
|
次要责任者:
|
陈江涛 译 |
|
次要责任者:
|
章超 译 |
|
次要责任者:
|
李彬 译 |