同类推荐
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
MySQL数据库技术与项目应用教程:微课版:AI助学
-
¥59.80
-
-
数据库原理、技术与应用:MySQL:视频教学+题库+A…
-
¥59.80
-
-
AI重塑游戏开发:让NPC“活”起来
-
¥99.00
-
-
AI重塑游戏开发:让NPC“活”起来
-
¥99.00
|
|
图书信息
|
|
|
|
Petri网的元展：一种并发系统模型检测方法
|
| ISBN： | 9787030662590 |
定价： | ￥99.00 |
| 作者： | 刘关俊著 |
出版社： | 科学出版社 |
| 出版时间： | 2020年10月 |
开本： | 24cm |
| 页数： | 160页 |
装祯： | 平装 |
中图法： | TP393.19 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
254
|
|
2026-10-30
|
图书简介 | | 本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。 |
|