同类推荐
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
微课学UE虚幻引擎场景搭建
-
¥79.80
-
-
Python编程:案例驱动的快速入门与实践
-
¥45.00
-
-
AIGC高效编程：Python游戏开发实战（慕课版）
-
¥59.80
-
-
三维设计基础：Blender
-
¥65.00
-
-
Java程序设计
-
¥55.00
-
-
可扩展标记语言（XML）技术（罗如柏）
-
¥55.00
-
-
LangGraph开发从原理到实践
-
¥89.90
-
-
Office应用（景泉）
-
¥39.00
-
-
Office应用（景泉）
-
¥39.00
|
|
图书信息
|
|
|
|
The fundamental research for trustworthy software
|
| ISBN： | 9787308227599 |
定价： | ￥68.00 |
| 作者： | He Jifeng editor |
出版社： | 浙江大学出版社 |
| 出版时间： | 2022年06月 |
开本： | 24cm |
| 页数： | 101页 |
装祯： | 精装 |
中图法： | TP311.56 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
9
|
库区4
|
2026-03-19
|
|
其它供货商库存合计
|
227
|
|
2026-03-12
|
图书简介 | | 本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。该重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，获得了重要成果和进展。 |
|