同类推荐
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
即梦Seedance AI视频生成与变现实战
-
¥79.00
-
-
WPS+豆包+DeepSeek办公效率革命:智能工具全…
-
¥79.80
-
-
WPS+豆包+DeepSeek办公效率革命:智能工具全…
-
¥79.80
-
-
WPS+豆包+DeepSeek办公效率革命:智能工具全…
-
¥79.80
-
-
深入理解并行编程（第2版）
-
¥165.00
-
-
达芬奇+AI影视调色全面应用:素材剪辑+高级调色+视频…
-
¥99.00
-
-
Photoshop数字图形图像处理+AIGC活页式教材
-
¥59.00
-
-
AI+飞书多维表格从入门到实战
-
¥99.00
-
-
豆包+剪映短视频剪辑全能一本通
-
¥79.80
|
|
图书信息
|
|
|
|
基于环境的软件近似正确性
|
| ISBN： | 9787312041020 |
定价： | ￥24.00 |
| 作者： | 马艳芳著 |
出版社： | 中国科学技术大学出版社 |
| 出版时间： | 2017年01月 |
开本： | 24cm |
| 页数： | 132页 |
中图法： | TP311.1 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
2
|
|
2026-04-09
|
图书简介 | | 本书基于进程代数理论中的通信系统演算(CCS)模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论，建立了近似的参数化互模拟和近似的三分之二互模拟理论。 |
|