|
000
|
01537cam 2200349 450
|
|
001
|
74115
|
|
005
|
20121222110711.85
|
|
010
|
|
@a978-7-111-36553-2@b简装@dCNY45.00
|
|
099
|
|
@aCAL 012012163173
|
|
100
|
|
@a20120328d2012 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a软件可靠性方法@Aruan jian ke kao xing fang fa@d= Software reliability methods@f(以) Doron A. Peled著@g王林章 ... [等] 译@zeng
|
|
205
|
|
@a第1版
|
|
210
|
|
@a北京@c机械工业出版社@d2012.03
|
|
215
|
|
@a196页@c图@d26cm
|
|
225
|
2
|
@a计算机科学丛书@Aji suan ji ke xue cong shu
|
|
305
|
|
@a据2001年英文版译出
|
|
306
|
|
@a由Springer Science+Business Media授权机械工业出版社出版
|
|
314
|
|
@a责任者规范汉译姓：佩莱德
|
|
320
|
|
@a有书目 (第191-196页)
|
|
330
|
|
@a我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。
|
|
410
|
0
|
@12001 @a计算机科学丛书
|
|
500
|
10
|
@aSoftware reliability methods@mChinese
|
|
606
|
0
|
@a软件可靠性@Aruan jian ke kao xing
|
|
690
|
|
@aTP311.5@v5
|
|
701
|
1
|
@a佩莱德@Apei lai de@g(Peled, Doron A.),@f1962-@4著
|
|
702
|
0
|
@a王林章@Awang lin zhang@4译
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20121120
|
|
905
|
|
@aZZLYZY@dTP311.5@e9
|
|
|
|
|
| |
| 软件可靠性方法= Software reliability methods/(以) Doron A. Peled著/王林章 ... [等] 译.-第1版.-北京：机械工业出版社，2012.03 |
| 196页：图；26cm.-(计算机科学丛书) |
| |
| |
| ISBN 978-7-111-36553-2(简装)：CNY45.00 |
| 我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。 |
| ● |
正题名：软件可靠性方法
索取号：TP311.5/9
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0285751
|
202857514
|
十四楼书库/14E13B0406/
[索取号:TP311.5/9]
|
在馆
|
架位导航
|
|
2
|
0285752
|
202857523
|
一楼密集书库B区/
[索取号:TP311.5/9]
|
在馆
|
架位导航
|
|
3
|
0285753
|
202857532
|
一楼密集书库B区/
[索取号:TP311.5/9]
|
在馆
|
架位导航
|
|
4
|
0285754
|
202857541
|
十四楼书库/14E13B0406/
[索取号:TP311.5/9]
|
在馆
|
架位导航
|
|
5
|
0285755
|
202857550
|
十四楼书库/14E13B0406/
[索取号:TP311.5/9]
|
在馆
|
架位导航
|
