同类推荐
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
即梦Seedance AI视频生成与变现实战
-
¥79.00
-
-
MG动画设计与制作:必会工具+创意制作+影视特效+后期…
-
¥69.80
-
-
MG动画设计与制作:必会工具+创意制作+影视特效+后期…
-
¥69.80
-
-
MG动画设计与制作:必会工具+创意制作+影视特效+后期…
-
¥69.80
-
-
AI视频一本通:Seedance+即梦+Nano Ba…
-
¥78.00
-
-
微信小游戏开发入门
-
¥79.00
-
-
微信小游戏开发入门
-
¥79.00
-
-
微信小游戏开发入门
-
¥79.00
-
-
AI办公高效提问:让你的职场效率倍增
-
¥79.00
|
|
图书信息
|
|
|
|
Petri网的元展：一种并发系统模型检测方法
|
| ISBN： | 9787030662590 |
定价： | ￥99.00 |
| 作者： | 刘关俊著 |
出版社： | 科学出版社 |
| 出版时间： | 2020年10月 |
开本： | 24cm |
| 页数： | 160页 |
装祯： | 平装 |
中图法： | TP393.19 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
202
|
|
2026-04-06
|
图书简介 | | 本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。 |
|