机读格式显示(MARC)

• 000 01478nam0 2200325 450

• 001 0000396775

• 005 20231219120500.0

• 010 __ |a 978-7-118-12847-5 |d CNY68.00

• 100 __ |a 20230614d2023 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 计算科学与工程领域的计算机代码验证 |A ji suan ke xue yu gong cheng ling yu de ji suan ji dai ma yan zheng |d Verification of computer codes in computational science and engineering |f (美)帕特里克·努普(Patrick Knupp)，(美)坎比兹·萨拉里(Kambiz Salari)著 |g 陈江涛，章超，李彬等译 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2023

• 215 __ |a 12,120页 |d 24cm

• 300 __ |a 国家数值风洞工程验证与确认系列译著 CRC Press

• 305 __ |a Taylor & Francis出版集团旗下，CRC出版公司授权出版

• 330 __ |a 本书共十章，介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。

• 510 1_ |a Verification of computer codes in computational science and engineering |z eng

• 606 0_ |a 程序校验 |x 研究

• 690 __ |a TP311.55 |v 5

• 690 __ |a TP311 |v 4

• 701 _0 |c (美) |a 努普 |A nu pu |c (Knupp, Patrick) |4 著

• 701 _0 |c (美) |a 萨拉里 |A sa la li |c (Salari, Kambiz) |4 著

• 702 _0 |a 陈江涛 |A chen jiang tao |4 译

• 702 _0 |a 章超 |A zhang chao |4 译

• 702 _0 |a 李彬 |A li bin |4 译

• 801 _0 |a CN |b 山东中教 |c 20230615

• 905 __ |a JBXQLIB |d TP311/489