机读格式显示(MARC)

• 000 01241nam 2200313 450

• 001 0000708907

• 005 20111101133700.0

• 010 __ |a 978-7-118-07306-5 |d CNY45.00

• 099 __ |a CAL 012011102096

• 100 __ |a 20110506d2011 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 软件验证与确认 |A ruan jian yan zheng yu que ren |d = Software verification and validation |f 主编刘斌 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2011

• 215 __ |a 264页 |c 图 |d 23cm

• 225 2_ |a 可靠性·维修性·保障性技术丛书 |A ke kao xing wei xiu xing bao zhang xing ji shu cong shu |v 12

• 320 __ |a 有书目 (第263-264页)

• 330 __ |a 本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。

• 410 _0 |1 2001 |a 可靠性·维修性·保障性技术丛书 |v 12

• 510 1_ |a Software verification and validation |z eng

• 606 0_ |a 武器装备 |A wu qi zhuang bei |x 应用软件 |x 软件可靠性

• 690 __ |a TJ02-39 |v 5

• 701 _0 |a 刘斌 |A liu bin |4 主编

• 801 _0 |a CN |b CEPC1 |c 20110511

• 905 __ |a JHUD |d TJ02/1

• 920 __ |a 242450 |z 1

• 998 __ |a TSU