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

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

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

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

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


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

售價：HK$ 88.0

我要買 件

share:

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


新書推薦：
百年澳门——明信片里的城市记忆
《 百年澳门——明信片里的城市记忆 》
售價：HK$ 118.8
请别当众夸奖我！：受困于“好孩子综合征”的日本年轻人 （洞悉“躺平”背后的隐形压力，缓解从校园到社会的过渡之痛。）
《 请别当众夸奖我！：受困于“好孩子综合征”的日本年轻人 （洞悉“躺平”背后的隐形压力，缓解从校园到社会的过渡之痛。） 》
售價：HK$ 49.5
实用主义——某些旧思想方法的新名称（威廉·詹姆士哲学文集 第1卷）
《 实用主义——某些旧思想方法的新名称（威廉·詹姆士哲学文集 第1卷） 》
售價：HK$ 53.9
西太平洋海山巨型底栖动物分类图鉴
《 西太平洋海山巨型底栖动物分类图鉴 》
售價：HK$ 327.8
名伶访问记：民国京剧的“百科全书”（套装 全六册）
《 名伶访问记：民国京剧的“百科全书”（套装 全六册） 》
售價：HK$ 217.8
装配式路桥技术研究
《 装配式路桥技术研究 》
售價：HK$ 184.8
国际法案例研习（2021—2022）
《 国际法案例研习（2021—2022） 》
售價：HK$ 86.9
中华文明十论：考古学视野下的文明传承、交流与表达
《 中华文明十论：考古学视野下的文明传承、交流与表达 》
售價：HK$ 85.8

建議一齊購買：

+

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

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

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

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

 

 

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