航天型号高可靠软件系统调试原理与技术

本书针对复杂航天型号对软件高可靠性的要求，在深入分析软件故障特征的基础上，阐述当前软件调试手段与工具的技术分类体系，介绍一批最新的、具有代表性的软件调试技术，包括：程序规则分析、用户行为分析、虚拟化调...

维修差错导致的民用航空事故案例分析汇编

本书通过列举若干因维修差错导致的民用航空事故案例，叙述事故经过及事故原因，并在此基础上从人为因素的角度对事故原因，即维修差错做进一步分析，找出导致维修差错的根本原因，提出安全建议，为改进航空维修工作提.....

世界机场集锦 上下集

飞机集锦

明星战机集锦

侦察机、直升机、轰炸机、战斗机、预警机、运输机，每一种战机中都几个足够被历史记忆的明星。这本书分6部分来介绍战机，图文并重，知识有趣但不复杂，简单但不单调，图片精彩丰富，可多角度展示战机明星。...

世界航天器与运载火箭集锦

真实童话 航空故事集锦

本套书是普及青少年航空知识、激发青少年航空兴趣、为中国航空事业的可持续发展培养全面的高素质人才的基础图书。图书共6册，主要面向小学、初中、高中三个学段的学生，也可供社会航空爱好者和大学本科低年级...

航天软件需求工程

航天型号软件测试

航天型号软件工程

本书阐述了软件工程的基本概念，介绍了航天型号软件工程各个阶段的工作内容，提供了丰富的工程研制经验。