在线客服
登录 注册 购物车(0)   

优桃书网

您的位置：首页 > 图书分类 > 图书详情
#

可信的航天嵌入式控制软件开发技术

当前价：
¥ 19.84
定价：
¥ 62.00
规格
数量
库存 0 件
  • 装帧:平装
  • 作者:杨梦飞
  • ISBN:9787118112665
  • 出版日期:2017-12-1
  • 书名:可信的航天嵌入式控制软件开发技术
  • 出版社:国防工业出版社
  • 开本:24cm
本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。内容包括：嵌入式软件可信性保障技术体系，航天控制软件需求建模与验证，程序实现正确性保障等。
用户评价

为您推荐

改变世界的航天计划丛书：通天力士·重型运载火箭计划 （四色）重型运载火箭计划
改变世界的航天计划丛书：通天力士·重型运载火箭计划 （四色）重型运载火箭计划

徐大军

¥17.34 ¥59.8

改变世界的航天计划丛书：太空飞行-神秘的航天器（四色）神秘的航天器
改变世界的航天计划丛书：太空飞行-神秘的航天器（四色）神秘的航天器

刘进军

¥17.34 ¥59.8

飞向太空系列：人类的飞翔·从梦想到现实从梦想到现实
飞向太空系列：人类的飞翔·从梦想到现实从梦想到现实

于始

¥14.44 ¥49.8

飞向太空丛书：太阳战车·人类飞行器史话人类飞行器史话
飞向太空丛书：太阳战车·人类飞行器史话人类飞行器史话

孟微微

¥13.94 ¥49.8

改变世界的航天计划丛书：砥砺奋进-中国载人航天计划(四色)中国载人航天计划
改变世界的航天计划丛书：砥砺奋进-中国载人航天计划(四色)中国载人航天计划

徐大军

¥17.43 ¥49.8

全新知识大揭秘：火箭与卫星
全新知识大揭秘：火箭与卫星

于洋

¥11.91 ¥45.8

带你畅游知识的海洋：走近新科学·航天
带你畅游知识的海洋：走近新科学·航天

于今昌

¥12.6 ¥45.0

中国载人航天科普丛书:巡天神舟:揭秘载:人航天器揭秘载人航天器
中国载人航天科普丛书:巡天神舟:揭秘载:人航天器揭秘载人航天器

戚发轫

¥13.95 ¥45.0

嫦娥书系:翱翔九天：从人造卫星到月球探测器(四色)从人造卫星到月球探测器
嫦娥书系:翱翔九天：从人造卫星到月球探测器(四色)从人造卫星到月球探测器

张浩

¥14.28 ¥42.0

中华青少年科学博览丛书·科学卷：图说运载火箭的发明（四色）
中华青少年科学博览丛书·科学卷：图说运载火箭的发明（四色）

王博

¥10.75 ¥39.8