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

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

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

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

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


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

售價：HK$ 88.0

我要買 件

 

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

新書推薦：
供应链金融（第4版）
《 供应链金融（第4版） 》
售價：HK$ 113.9
人人都想当网红？新媒体与注意力博弈
《 人人都想当网红？新媒体与注意力博弈 》
售價：HK$ 78.2
君主、道学与宋王朝
《 君主、道学与宋王朝 》
售價：HK$ 90.9
李慈铭日记（全14册）
《 李慈铭日记（全14册） 》
售價：HK$ 3197.0
对话的力量，风靡全球的教练式沟通
《 对话的力量，风靡全球的教练式沟通 》
售價：HK$ 67.9
人的行为
《 人的行为 》
售價：HK$ 110.4
北京中轴线知识一点通
《 北京中轴线知识一点通 》
售價：HK$ 90.9
牛津世界历史研究指南
《 牛津世界历史研究指南 》
售價：HK$ 216.2

 
建議一齊購買：

+

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

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

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

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

 

 

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