机读格式显示(MARC)

• 000 01156nam 2200289 450

• 001 0000202699

• 005 20111018101200.0

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

• 100 __ |a 20110525d2011 em y0chiy0121 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 xii, 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

• 690 __ |a TJ02-39 |v 4

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

• 801 _0 |a CN |b 三新书业 |c 20110615

• 905 __ |a AUSTL |d TJ02-39/L149