| ISBN/价格： | 978-7-118-12847-5:CNY68.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 计算科学与工程领域的计算机代码验证/.(美)帕特里克·努普(Patrick Knupp)，(美)坎比兹·萨拉里(Kambiz Salari)著/.陈江涛，章超，李彬等译 |
|---|
| 出版发行项： | 北京:,国防工业出版社:,2023.03 |
|---|
| 载体形态项： | 12,120页:;+24cm |
|---|
| 丛编项： | 国家数值风洞工程验证与确认系列译著 |
|---|
| 一般附注： | CRC Press |
|---|
| 提要文摘： | 本书共十章，介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
|---|
| 并列题名： | Verification of computer codes in computational science and engineering eng |
|---|
| 题名主题： | 程序校验 研究 |
|---|
| 中图分类： | TP311.55 |
|---|
| 个人名称等同： | 努普 帕特里克 著 |
|---|
| 个人名称等同： | 萨拉里 坎比兹 著 |
|---|
| 个人名称次要： | 陈江涛 译 |
|---|
| 个人名称次要： | 章超 译 |
|---|
| 个人名称次要： | 李彬 译 |
|---|
| 记录来源： | CN 浙江省新华书店集团公司 20230515 |
|---|