同类推荐
-
-
Office应用（景泉）
-
¥39.00
-
-
Office应用（景泉）
-
¥39.00
-
-
Office应用（景泉）
-
¥39.00
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
Python语言及其应用
-
¥58.00
-
-
Python语言及其应用
-
¥58.00
-
-
Python语言及其应用
-
¥58.00
-
-
谷歌Nano Banana Pro:AI图像创作与商业…
-
¥79.00
|
|
图书信息
|
|
|
|
计算科学与工程领域的计算机代码验证
|
| ISBN： | 9787118128475 |
定价： | ￥68.00 |
| 作者： | (美)帕特里克·努普(Patrick Knupp), (美)坎比兹·萨拉里(Kambiz Salari)著 |
出版社： | 国防工业出版社 |
| 出版时间： | 2023年03月 |
开本： | 24cm |
| 页数： | 12,120页 |
装祯： | 平装 |
中图法： | TP311.55 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
157
|
|
2026-03-06
|
图书简介 | | 本书共十章，全面系统地介绍了计算机代码验证，包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段，即“基于人造解方法的精度阶验证”(OVMSP)。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。 |
|