广东职业技术学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:14

题名/责任者:
Petri网的元展:一种并发系统模型检测方法/刘关俊著
出版发行项:
北京:科学出版社,2020
ISBN及定价:
978-7-03-066259-0/CNY99.00
载体形态项:
160页:图;24cm
其它题名:
一种并发系统模型检测方法
个人责任者:
刘关俊
学科主题:
Petri网-研究
中图法分类号:
TP393.19
书目附注:
有书目 (第145-156页)
提要文摘附注:
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法, 利用元展检测并发系统健壮性、兼容性与死锁, 并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑, 同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章, 具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP393.19/3 00665985   南海校区书库 (图书定位请点击这里)    可借 南海校区书库
TP393.19/3 00665983   书库 (图书定位请点击这里)    可借 书库
TP393.19/3 00665984   书库 (图书定位请点击这里)    可借 书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架