用类型保持编译技术构造高可信系统

用类型保持编译技术构造高可信系统

出版年：2005

作者：陈晖

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

可信编译构造理论与关键技术

作者：何炎祥
ISBN：9787030364203
出版社：科学出版社
出版年：2013

自己动手构造编译系统 :编译、汇编与链接

作者：范志东
ISBN：9787111543558
出版社：机械工业出版社
出版年：2016

编译程序设计原理与构造技术

作者：史杏荣
ISBN：7312010210
出版社：中国科学技术大学出版社
出版年：1998

编译器构造

作者：郭耀等译
ISBN：9787302281047
出版社：清华大学出版社
出版年：2012

编译与反编译技术

作者：庞建民
ISBN：9787111534129
出版社：机械工业出版社
出版年：2016

编译原理及编译程序构造

作者：云挺
ISBN：9787576603996
出版社：东南大学出版社
出版年：2023