QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 谓词抽象研究 学位论文 2014, 2014 魏燕侠 收藏  |  浏览/下载：7/0  |  提交时间：2016/01/12 谓词抽象 模态Herbrand定理 辖域装置  predicate abstraction Herbrand’s theorem in modal logic Mechanism of Scope   谓词抽象:一种新型语言辖域装置 期刊论文 2012 魏燕侠 收藏  |  浏览/下载：2/0  |  提交时间：2016/05/17 谓词抽象  语言歧义  辖域装置  摹状词  predicate abstraction  linguistic ambiguity  mechanism of scope  descriptions   一种面向Web服务源程序的谓词抽象验证方法 期刊论文 苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19 任强; 张广泉 收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 Web服务  模型检测  谓词抽象  源程序   面向源代码的软件模型检测及其实现 期刊论文 2010, 2010 何恺铎; 顾明; 宋晓宇; 李力; 李江; HE Kai-duo; GU Ming; SONG Xiao-yu; LI Li; LI Jiang 收藏  |  浏览/下载：8/0 循环不变式开发技术研究 期刊论文 计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平 收藏  |  浏览/下载：10/0  |  提交时间：2011/05/23 循环不变式  PAR方法  高可靠性软件  谓词抽象