同类推荐
-
-
软件测试策略
-
¥99.00
-
-
软件测试策略
-
¥99.00
-
-
软件测试策略
-
¥99.00
-
-
程序设计基础（C99）（微课版）
-
¥66.00
-
-
程序设计基础（C99）（微课版）
-
¥66.00
-
-
LangChain与LangGraph实战:工具链集成…
-
¥79.00
-
-
LangChain与LangGraph实战:工具链集成…
-
¥79.00
-
-
LangChain与LangGraph实战:工具链集成…
-
¥79.00
-
-
计算机基础及WPS Office应用教程 第二版
-
¥59.80
-
-
Python数据分析任务驱动教程
-
¥69.80
|
|
图书信息
|
|
|
|
计算科学与工程领域的计算机代码验证
|
| ISBN： | 9787118128475 |
定价： | ￥68.00 |
| 作者： | (美)帕特里克·努普(Patrick Knupp), (美)坎比兹·萨拉里(Kambiz Salari)著 |
出版社： | 国防工业出版社 |
| 出版时间： | 2023年03月 |
开本： | 24cm |
| 页数： | 12,120页 |
装祯： | 平装 |
中图法： | TP311.55 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
169
|
|
2025-12-26
|
图书简介 | | 本书共十章，全面系统地介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”(OVMSP)。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
|