MARC状态：已编 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 交互式马尔可夫链:并发系统的设计、验证与评价/吴尽昭，王永祥，覃广平著
- 出版发行项:
- 北京:科学出版社,2007
- ISBN及定价:
- 978-7-03-018866-3 精装/CNY28.00
- 载体形态项:
- 10,109页;25cm
- 其它题名:
- 并发系统的设计、验证与评价
- 丛编项:
- 数学机械化丛书;9
- 个人责任者:
- 覃广平 著
- 个人责任者:
- 吴尽昭 著
- 个人责任者:
- 王永祥 著
- 学科主题:
- 马尔可夫链-研究
- 中图法分类号:
- O211.62
- 一般附注:
- 《数学机械化丛书》获国家基础研究发展规划项目 “数学机械化方法及其在信息技术中的应用”与“数学机械化应用推广专项经费”资助
- 提要文摘附注:
- 本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O211.62/W77 | 00640175 |  语言、自然科学阅览室
|
可借 | |
| O211.62/W77 | 00640176 | 语言、自然科学阅览室
|
可借 | |
| O211.62/W77 | 00640177 | 样本书阅览室
|
可借 |
显示全部馆藏信息