编译器技术交流会演讲资料下载（王生原，清华大学，编译器形式化验证及L2C可信编译器简介）

加入CCF 登录CCF

系统软件专委 > 下载中心 > 会议文档及注册表

编译器技术交流会演讲资料下载（王生原，清华大学，编译器形式化验证及L2C可信编译器简介）

2017年09月27日 11:47 中国计算机学会专委 0 收藏

点此下载文件:/upload/resources/file/2018/07/10/编译器技术交流会演讲资料下载（王生原，清华大学，编译器形式化验证及L2C可信编译器简介）.ppt

扫描二维码以在移动设备观看

分享到：更多

读完这篇文章后，您心情如何？

跟贴 [ 0 ]条 [ 0 ]人参与 (点击查看)

匿名评论所有评论仅代表网友意见

最新新闻

1 周日贵
2 周书明
3 周书仁
4 周毅
5 周源
6 朱大铭
7 朱信忠
8 祝恩
9 庄雷
10 左正康

推荐视频

热门排行

1 第 37 届 CCF 中国数据库学术会议(NDBC 202..
2 程明明南开大学
3 顶级赛事 | 2019 CCF BDCI，最值得参与的国..
4 韩军伟西北工业大学
5 CCF-CV学术新锐奖公示
6 工作组职责与成员
7 Organization
8 2019年度委员好消息
9 张姗姗南京理工大学
10 倪冰冰上海交通大学