《可信的航天嵌入式控制软件开发技术》 - 杨孟飞，顾斌，郭向英等著 - 国防工业出版社 - 香港大書城 - Meg Book Store

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書

『簡體書』可信的航天嵌入式控制软件开发技术

書城自編碼： 3208598
分類：簡體書→大陸圖書→工業技術→航空/航天
作者：杨孟飞，顾斌，郭向英等著
國際書號(ISBN)： 9787118112665
出版社：国防工业出版社
出版日期： 2018-06-01

書度/開本： 16开釘裝：平装

售價：HK$ 88.0

我要買件

share:

** 我創建的書架 **
未登入.

新書推薦：

肌筋膜连接与修复

《肌筋膜连接与修复》
售價：HK$ 75.9

礼教中的女性与生活中的女性：汉代女性形态研究

《礼教中的女性与生活中的女性：汉代女性形态研究》
售價：HK$ 63.8

无人机航拍酷炫运镜119招：从构图、拍摄到剪辑

《无人机航拍酷炫运镜119招：从构图、拍摄到剪辑》
售價：HK$ 96.8

慢思考，快心流：深度开发大脑潜能的思维方式（一本精准的天才训练手册，一套超凡的心流打造功法。精进领航人小务虚脑洞再开，助你开发大脑无限潜能）

《慢思考，快心流：深度开发大脑潜能的思维方式（一本精准的天才训练手册，一套超凡的心流打造功法。精进领航人小务虚脑洞再开，助你开发大脑无限潜能）》
售價：HK$ 63.8

《长河落日耀金戈——中国古代北方少数民族征战史例》（以十场战争解读千年边塞历史，再现“铁马冰河入梦来”的热血豪迈）

《《长河落日耀金戈——中国古代北方少数民族征战史例》（以十场战争解读千年边塞历史，再现“铁马冰河入梦来”的热血豪迈）》
售價：HK$ 41.8

瀛波志（大都会南部边缘的乌夜与拂晓，社幻小说家的机械奇趣宇宙志。一部百科全书式小说，陆源将中文重新淬炼了一遍）

《瀛波志（大都会南部边缘的乌夜与拂晓，社幻小说家的机械奇趣宇宙志。一部百科全书式小说，陆源将中文重新淬炼了一遍）》
售價：HK$ 107.8

黑暗时代的哲学家（哲学版的《人类群星闪耀时》，面对历史的洪流，哲学何为？）

《黑暗时代的哲学家（哲学版的《人类群星闪耀时》，面对历史的洪流，哲学何为？）》
售價：HK$ 85.8

国魂：甲午（全三册）

《国魂：甲午（全三册）》
售價：HK$ 178.2

建議一齊購買：

+

HK$ 222.0
《航天推进技术》

+

HK$ 212.8
《航天发射总体技术》

+

HK$ 133.2
《航天发射地面支持技术》

+

HK$ 254.8
《航天器控制计算机容错技术》

內容簡介：

《可信的航天嵌入式控制软件开发技术》主要介绍航天嵌入式控制软件可信保障技术体系及其关键技术。首先从近年来的实际案例提炼出影响航天嵌入式软件可信性的十大可信问题，针对这些关键可信问题，从问题、阶段、方法、工具和度量五个维度进行研究，形成了具有五维体系结构的可信性保障技术体系；然后，重点论述了需求建模与验证、程序实现正确性保障、嵌入式软件形式化验证等关键问题的解决方案；*后依据可信保障技术体系的需求，介绍了构建嵌入式软件可信保障集成环境的集成方法、体系架构和关键技术。
《可信的航天嵌入式控制软件开发技术》针对嵌入式软件研制中的实际问题给出系统的解决方案，实用性强，对于在航天行业以及航空、兵器、汽车、核电等行业从事嵌入式软件研制的工程技术人员和系统总体设计人员，具有很好的参考价值。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户

megBook.com.hk

Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.