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

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

出版年：2018

作者：孙科

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

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

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

作者：杨晨
出版年：2017

安全C语言形状系统的设计与实现

作者：李云龙
出版年：2016

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

作者：冯峰
出版年：2016

基于RISC-V的安全扩展设计与实现

作者：刘阳
出版社：中国科学院信息工程斫究所,中国科学院信息工程研究所
出版年：2023

设计模式 :基于C#的工程化实现及扩展

作者：王翔
ISBN：9787121075070
出版社：电子工业出版社
出版年：2009