|
题名:
|
可信编译构造理论与关键技术 [ 专著] ke xin bian yi gou zao li lun yu guan jian ji shu / 何炎祥, 吴伟著 , |
|
ISBN:
|
978-7-03-036420-3 价格： CNY60.00 |
|
语种:
|
chi |
|
载体形态:
|
10,228页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2013 |
|
内容提要:
|
本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。 |
|
主题词:
|
编译器 研究 |
|
中图分类法:
|
TP314 版次： 5 |
|
主要责任者:
|
何炎祥 he yan xiang 著 |
|
主要责任者:
|
吴伟 wu wei 著 |
|
索书号:
|
TP314/4 |