|
关于我们
 书单推荐 新书推荐 |
Petri网的元展：一种并发系统模型检测方法 
定 价：99 元
9 7 6 8 6 7 2 0 5 3 9 0 0 读者对象:博士、硕士研究生，高年级大学本科生，软件系统分析设计人员，以及相关科研人员
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明，以及清晰的算法描述。
更多科学出版社服务，请扫码获取。 
你还可能感兴趣
我要评论
|
