|
000
|
01294nam 2200313 450
|
|
001
|
CAL 010060060231
|
|
005
|
20140728164535.06
|
|
010
|
|
@a978-7-03-018866-3@b精装@dCNY28.00
|
|
100
|
|
@a20070713d2007 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a交互式马尔可夫链：并发系统的设计、验证与评价@Ajiao hu shi ma er ke fu lian：bing fa xi tong de she ji、yan zheng yu ping jia@f吴尽昭, 王永祥, 覃广平著
|
|
205
|
|
@a第1版
|
|
210
|
|
@a北京@c科学出版社@d2007.06
|
|
215
|
|
@a10, 109页@d25cm
|
|
225
|
2
|
@a数学机械化丛书@Ashu xue ji xie hua cong shu@v9
|
|
300
|
|
@a《数学机械化丛书》获国家基础研究发展规划项目 “数学机械化方法及其在信息技术中的应用”与“数学机械化应用推广专项经费”资助
|
|
320
|
|
@a有书目 (第103-109页)
|
|
330
|
|
@a本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用, 主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。
|
|
410
|
0
|
@12001 @a数学机械化丛书@v9
|
|
606
|
0
|
@a马尔可夫链@Ama er ke fu lian@x研究
|
|
690
|
|
@aO211@v5
|
|
701
|
0
|
@a吴尽昭@Awu jin zhao@4著
|
|
701
|
0
|
@a王永祥@Awang yong xiang@4著
|
|
701
|
0
|
@a覃广平@Aqin guang ping@4著
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20140720
|
|
905
|
|
@aZZLYZY@dO211@e8@f5
|
|
|
|
|
| |
| 交互式马尔可夫链：并发系统的设计、验证与评价/吴尽昭, 王永祥, 覃广平著.-第1版.-北京：科学出版社，2007.06 |
| 10, 109页；25cm.-(数学机械化丛书；9) |
| 《数学机械化丛书》获国家基础研究发展规划项目 “数学机械化方法及其在信息技术中的应用”与“数学机械化应用推广专项经费”资助 |
| |
| ISBN 978-7-03-018866-3(精装)：CNY28.00 |
| 本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用, 主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 |
| ● |
正题名：交互式马尔可夫链:并发系统的设计、验证与评价
索取号：O211/8
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0637261
|
206372619
|
十六楼书库一区/16104A0306/
[索取号:O211/8]
|
在馆
|
架位导航
|
|
2
|
0637262
|
206372628
|
十六楼书库一区/16104A0306/
[索取号:O211/8]
|
在馆
|
架位导航
|
|
3
|
0637263
|
206372637
|
十六楼书库一区/16104A0306/
[索取号:O211/8]
|
在馆
|
架位导航
|
|
4
|
0637264
|
206372646
|
十六楼书库一区/16104A0306/
[索取号:O211/8]
|
在馆
|
架位导航
|
|
5
|
0637265
|
206372655
|
十六楼书库一区/16104A0306/
[索取号:O211/8]
|
在馆
|
架位导航
|
