登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

使用静态符号执行对C++标准模板库误用的检测
出版社：中国科学院软件研究所
出版年：2023
作者：罗季
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

一个符号执行工具的C++语言扩展
  • 作者：孙文全
  • 出版社：中国科学技术大学
  • 出版年：2018
...

C++标准模板库编程实战
  • 作者：Horton
  • ISBN：9787302455806
  • 出版社：清华大学出版社
  • 出版年：2017
...

形状分析符号执行引擎中的状态合并
  • 作者：邓维
  • 出版年：2016
...

数据结构:(21世纪重点大学规划教材） :使用C++标准模板库（STL）
  • 作者：陈本林
  • ISBN：711116296X
  • 出版社：机械工业出版社
  • 出版年：2005
...

数据结构C++语言描述 :应用标准模板库(STL)
  • 作者：福特
  • ISBN：7302065497
  • 出版社：清华大学出版社
  • 出版年：2003
...

数据结构C++语言描述 :应用标准模板库 (STL) :第2版
  • 作者：福特
  • ISBN：7302065497
  • 出版社：清华大学出版社
  • 出版年：2003