机读格式显示(MARC)

• 000 01102nam 2200301 450

• 001 0000471331

• 005 20130613084000.0

• 010 __ |a 978-7-03-036420-3 |d CNY60.00

• 099 __ |a CAL 012013032577

• 100 __ |a 20130313d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 可信编译构造理论与关键技术 |A ke xin bian yi gou zao li lun yu guan jian ji shu |f 何炎祥, 吴伟著

• 210 __ |a 北京 |c 科学出版社 |d 2013

• 215 __ |a 228页 |c 图 |d 24cm

• 225 2_ |a 信息科学技术学术著作丛书 |A xin xi ke xue ji shu xue shu zhu zuo cong shu

• 320 __ |a 有书目

• 330 __ |a 本书全面系统地介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。同时，本书还介绍了可信编译在嵌入式软件优化、绿色编译、软件测试以及可信软件开发过程中的应用与实践。

• 410 _0 |1 2001 |a 信息科学技术学术著作丛书

• 606 0_ |a 编译码器 |A bian yi ma qi

• 690 __ |a TP314 |v 5

• 701 _0 |a 何炎祥 |A he yan xiang |4 著

• 701 _0 |a 吴伟 |A wu wei |4 著

• 801 _0 |a CN |b TL |c 20130311

• 905 __ |a SCNU |f TP314/2193/ 1

• 920 __ |a 242430 |z 1