|
000
|
01295nam0 2200313 450
|
|
001
|
0112334467
|
|
005
|
20121030130723
|
|
010
|
|
@a978-7-111-36553-2@dCNY45.00
|
|
100
|
|
@a20120710d2012 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a软件可靠性方法@ARuan Jian Ke Kao Xing Fang Fa@f(以)Doron A. Peled著@g王林章[等]译
|
|
210
|
|
@a北京@c机械工业出版社@d2012.03
|
|
215
|
|
@a12,196页@d26cm
|
|
225
|
2
|
@a计算机科学丛书@AJi Suan Ji Ke Xue Cong Shu
|
|
314
|
|
@aDoron A. Peled 以色列巴依兰大学(BarIlan University)计算机科学系教授。
|
|
314
|
|
@a王林章 南京大学计算机科学与技术系副教授、硕士生导师,南京大学计算机软件新技术国家重点实验室主任助理。
|
|
320
|
|
@a有书目(第191-196页)
|
|
330
|
|
@a本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。
|
|
333
|
|
@a本书适合于从事软件开发的广大读者,尤其适合作为高年级本科生和硕士生的教材和参考书。
|
|
461
|
0
|
@12001 @a计算机科学丛书
|
|
606
|
0
|
@a软件可靠性@ARuan Jian Ke Kao Xing
|
|
690
|
|
@aTP311.5@v4
|
|
701
|
1
|
@c(以)@a佩莱德@APei Lai De@bD.A.@g(Peled, Doron A.)@4著
|
|
702
|
0
|
@a王林章@AWang Lin Zhang@4译
|
|
801
|
0
|
@aCN@bCDNYKJZYXY@c20120710
|
|
905
|
|
@aCDNYKJZYXY@dTP311.5@e84@f3
|
|
|
|
|
| |
| 软件可靠性方法/(以)Doron A. Peled著/王林章[等]译.-北京：机械工业出版社，2012.03 |
| 12,196页；26cm.-(计算机科学丛书) |
| 使用对象：本书适合于从事软件开发的广大读者,尤其适合作为高年级本科生和硕士生的教材和参考书。 |
| |
| ISBN 978-7-111-36553-2：CNY45.00 |
| 本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。 |
| ● |
正题名：软件可靠性方法
索取号：TP311.5/84
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
446619
|
300446619
|
流通五库四楼/
[索取号:TP311.5/84]
|
在馆
|
|
|
2
|
446620
|
300446620
|
流通五库四楼/
[索取号:TP311.5/84]
|
在馆
|
|
|
3
|
446621
|
300446621
|
流通五库四楼/
[索取号:TP311.5/84]
|
在馆
|
|
