2. 您的位置
3. 首页
4. 学位论文
5. 汇编语言形式化验证的模型、方法和工具

汇编语言形式化验证的模型、方法和工具

来源 :南京大学 | 被引量 : 0次 | 上传用户：zhuspecial

【作 者】

：

郭毅 

【出 处】

：

南京大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

天津市城建热线人力资源管理系统的设计与开发

学位

富士康设备管理信息系统的设计与实现

学位

软件保护虚拟机改进方案研究

学位

江西国税综合办公信息系统的分析与设计

学位

基于Jsp技术的交通施工项目管理系统设计与实现

学位

基于机器视觉的污泥沉降过程检测方法研究

学位

小型家用磁除垢器

期刊

鲁棒人脸正面化方法研究

学位

《福尔摩斯先生》颠覆了我们对福尔摩斯的认知

期刊

数字图像取证技术的设计与实现

学位