机读格式显示(MARC)

• 000 00999nam0 2200277 450

• 001 0000419184

• 005 20230415175200.0

• 010 __ |a 978-7-5159-1968-3 |d CNY88.00

• 035 __ |a (A100000NLC)011846373

• 049 __ |a A100000NLC |b UCS01011383076 |c 011846373 |d NLC01

• 100 __ |a 20220707d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 航天型号嵌入式软件验证技术与实践 |A Hang Tian Xing Hao Qian Ru Shi Ruan Jian Yan Zheng Ji Shu Yu Shi Jian |f 祝宇[等]编著

• 210 __ |a 北京 |c 中国宇航出版社 |d 2022

• 215 __ |a 178页 |c 图 |d 26cm

• 304 __ |a 编著者还有：张幼春、杨波、王新颖

• 330 __ |a 本书分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。

• 606 0_ |a 航天 |A Hang Tian |x 应用软件 |x 软件开发

• 690 __ |a V4-39 |v 5

• 701 _0 |a 祝宇 |A Zhu Yu |4 编著

• 801 _2 |a CN |b OLCC |c 20220806

• 905 __ |a XATU |d V4-39/2

• 920 __ |a 261060 |z 1