|
000
|
01156nam 2200289 450
|
|
001
|
012007457530
|
|
005
|
20071010161441.71
|
|
010
|
|
@a978-7-03-018866-3@b精装@dCNY28.00
|
|
100
|
|
@a20070812d2007 km y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
200
|
1
|
@a交互式马尔可夫链@Ajiao hu shi ma er ke fu lian@e并发系统的设计、验证与评价@f吴尽昭, 王永祥, 覃广平著@Fwu jin zhao,wang yong xiang,tan guang ping zhu
|
|
210
|
|
@a北京@c科学出版社@d2007.06
|
|
215
|
|
@a109页@c图@d25cm
|
|
225
|
2
|
@a数学机械化丛书@Ashu xue ji xie hua cong shu@v9
|
|
320
|
|
@a有书目 (第103-109页)。
|
|
330
|
|
@a本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用，主要包括3个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验等。
|
|
410
|
0
|
@12001 @a数学机械化丛书
|
|
517
|
1
|
@a并发系统的设计、验证与评价@Abing fa xi tong de she ji、yan zheng yu ping jia
|
|
606
|
0
|
@a马尔可夫链@Ama er ke fu lian@x研究
|
|
690
|
|
@aO211.62@v4
|
|
701
|
0
|
@a吴尽昭@Awu jin zhao@4著
|
|
701
|
0
|
@a王永祥@Awang yong xiang@4著
|
|
701
|
0
|
@a覃广平@Atan guang ping@4著
|
|
801
|
0
|
@aCN@c20071010
|
|
905
|
|
@dO211.62@eW809
|
|
|
|
|
| |
| 交互式马尔可夫链：并发系统的设计、验证与评价/吴尽昭, 王永祥, 覃广平著.-北京：科学出版社，2007.06 |
| 109页：图；25cm.-(数学机械化丛书；9) |
| |
| |
| ISBN 978-7-03-018866-3(精装)：CNY28.00 |
| 本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用，主要包括3个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验等。 |
| ● |
正题名：交互式马尔可夫链
索取号：O211.62/W809
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
253420
|
202534203
|
自科库401/401自科库 47排7列4层/
[索取号:O211.62/W809]
|
在馆
|
|
|
2
|
253421
|
202534212
|
自科库401/401自科库 47排7列4层/
[索取号:O211.62/W809]
|
在馆
|
|
