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

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

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

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

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


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

售價：HK$ 88.0

我要買 件

share:

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

新書推薦：
中国雕塑 高等院校艺术与设计类专业
《 中国雕塑 高等院校艺术与设计类专业 》
售價：HK$ 86.9
黄帝内经素问集注
《 黄帝内经素问集注 》
售價：HK$ 69.3
大国产业—中国产业现代化转型升级与时代机遇
《 大国产业—中国产业现代化转型升级与时代机遇 》
售價：HK$ 86.9
儿童和青少年心理咨询
《 儿童和青少年心理咨询 》
售價：HK$ 151.8
我们如何学习：学习与教学的科学方法 （西班牙）艾克托尔·鲁伊兹·马丁
《 我们如何学习：学习与教学的科学方法 （西班牙）艾克托尔·鲁伊兹·马丁 》
售價：HK$ 86.9
感受的力量--像艺术家一样观看
《 感受的力量--像艺术家一样观看 》
售價：HK$ 57.2
诗词串起中国史：按照朝代顺序用诗词串起一部中国通史。
《 诗词串起中国史：按照朝代顺序用诗词串起一部中国通史。 》
售價：HK$ 264.0
知宋·宋代之交通
《 知宋·宋代之交通 》
售價：HK$ 86.9

 
建議一齊購買：

+

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.