位置：成果数据库 > 著作 > 著作详情页
可信编译构造理论与关键技术（专著）
  • 所属机构名称：武汉大学
  • 时间：2013.1
  • 成果类型：著作
  • 出版社：科学出版社
  • 相关项目：可信软件构造理论与方法研究
同著作项目
可信软件构造理论与方法研究
期刊论文 127 会议论文 62 获奖 8 著作 5
同项目著作
面向嵌入式系统的绿色编译理论与方法研究（专著）
面向嵌入式系统的绿色编译理论与方法研究（专著）
面向嵌入式系统的绿色编译理论与方法研究（专著）
面向嵌入式系统的绿色编译理论与方法研究（专著）