| 字段 | 字段内容 |
|---|---|
| 001 | 01h0340244 |
| 005 | 20111020095248.0 |
| 010 | $a: 978-7-118-07306-5$d: CNY45.00 |
| 100 | $a: 20110506d2011 em y0chiy50 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 110000 |
| 105 | $a: ak a 000yy |
| 106 | $a: r |
| 200 | $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 | $a: 可靠性·维修性·保障性技术丛书$A: ke kao xing wei xiu xing bao zhang xing ji shu cong shu$v: 12 |
| 320 | $a: 有书目 (第263-264页) |
| 330 | $a: 本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。 |
| 410 | $1: 2001 $a: 可靠性·维修性·保障性技术丛书$v: 12 |
| 510 | $a: Software verification and validation$z: eng |
| 606 | $a: 武器装备$x: 应用软件$x: 软件可靠性 |
| 690 | $a: TJ02-39$v: 5 |
| 701 | $a: 刘斌$A: liu bin$4: 主编 |
| 801 | $a: CN$b: FZULIB$c: 20111018 |
| 905 | $d: TJ02-39$r: CNY45.00 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第3791467位用户访问本系统