机读格式显示(MARC)

• 000 01191nam2 2200361 4500

• -01 __gzk0824312

• -09 __zyk0220655

• -98 __bm9

• -99 __tsg01

• 001 0000220630

• 001 012007119018

• 005 20121017101156.5

• 010 __ |a 978-7-111-36553-2 |d CNY45.00

• 100 __ |a 20121017d2012 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 软件可靠性方法 |A Ruan Jian Ke Kao Xing Fang Fa |d = Software reliability methods |f (以) Doron A. Peled著 |g 王林章 ... [等]译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2012

• 215 __ |a 12,196页 |d 26cm

• 225 2_ |a 计算机科学丛书

• 306 __ |a 由Springer Science+Business Media授权出版

• 330 __ |a 本书通过大量的形式化表示和技术,向读者提供了各种用于提高软件可靠性的形式化方法,包括演绎验证、自动验证、测试以及进程代数。

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Software reliability methods |z eng

• 606 0_ |a 软件可靠性 |A Ruan Jian Ke Kao Xing

• 690 __ |a TP311.5 |v 4

• 701 _1 |a 佩莱得 |A Pei Lai De |4 著

• 702 _0 |a 王林章 |A Wang Lin Zhang |4 译

• 801 _0 |a CN |b 安徽新华 |c 20121017

• 905 __ |a ASTU |d TP311.5/227

• 915 __ |b 2096326-7 |d TP311.5 |e 227 |f 2