安全C语言的验证条件生成器的设计与实现

安全C语言的验证条件生成器的设计与实现

出版年：2016

作者：冯峰

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

安全C 语言程序验证器中验证条件生成器的扩展设计与实现

作者：常欢
出版社：中国科学技术大学
出版年：2018

安全C语言的验证条件证明器的设计与实现

作者：杨晨
出版年：2017

应用程序生成器TOAG的设计与实现

作者：安江虹
出版年：1987

安全C语言验证器的性状系统的扩展设计与实现

作者：孙科
出版年：2018

面向ALU指令功能测试的随机指令生成器的设计与实现

作者：张东雪
出版社：中国科学院大学人工智能学院
出版年：2019

基于组件结构的图形用户界面生成器－GUIEditor的设计与实现

作者：傅远彬
出版社：中国科学院
出版年：1997