扫一扫
关注中图网
官方微博
出版社：
- 中国人民大学出版社(1)
- 中国人民大学出版社(1)
- 国防工业出版社(1)
- 国防工业出版社(1)
- 西南财经大学出版社(1)
- 西南财经大学出版社(1)
- 国防工业出版社(1)
- 国防工业出版社(1)
- 西南财经大学出版社(1)
- 西南财经大学出版社(1)
- 中国人民大学出版社(1)
- 中国人民大学出版社(1)
售价：
-
-
可信的航天嵌入式控制软件开发技术
¥43.4(7折)定价:¥62.0本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。本书由以下内容组成：嵌入式软件可信性保障技术体系；航天控制软件需求建模与验证；程序实现正确性保障;操作系统验证；航天嵌入式软件可信保障集成环境构建...
-
中国西南地区乡村治理制度创新研究
¥61.6(7折)定价:¥88.0在脱贫攻坚和全面小康任务完成、乡村振兴战略全面开启的背景下，作为区域广袤、经济落后、民族众多的我国西南民族地区，在所面临的诸多治理任务中，乡村治理毫无疑问将是最艰巨和最繁重的任务。事实上，这一地区治理现代化和“十四五”规划与2035远景目标的执行落实在很大程度上取决于其乡村治理现代化的实现程度，更具体地说就是与其乡村治理体系的健全、完善、科学程度密切相关。因此本书的研究具有不言而喻的意义和价值。本书共分为导论、第一章我国乡村治理制度形
