登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

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

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

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

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


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

售價:HK$ 88.0

我要買

 

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


新書推薦:
台风天(大吴作品,每一种生活都有被看见的意义)
《 台风天(大吴作品,每一种生活都有被看见的意义) 》

售價:HK$ 55.2
打好你手里的牌(斯多葛主义+现代认知疗法,提升当代人的心理韧性!)
《 打好你手里的牌(斯多葛主义+现代认知疗法,提升当代人的心理韧性!) 》

售價:HK$ 66.1
新时代硬道理 广东寻路高质量发展
《 新时代硬道理 广东寻路高质量发展 》

售價:HK$ 79.4
6S精益管理实战(精装版)
《 6S精益管理实战(精装版) 》

售價:HK$ 103.3
异域回声——晚近海外汉学之文史互动研究
《 异域回声——晚近海外汉学之文史互动研究 》

售價:HK$ 112.7
世界文明中的作物迁徙:聚焦亚洲、中东和南美洲被忽视的本土农业文明
《 世界文明中的作物迁徙:聚焦亚洲、中东和南美洲被忽视的本土农业文明 》

售價:HK$ 102.4
无端欢喜
《 无端欢喜 》

售價:HK$ 78.2
股票大作手操盘术
《 股票大作手操盘术 》

售價:HK$ 55.2

 

建議一齊購買:

+

HK$ 222.0
《航天推进技术》
+

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

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

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

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.