QQ客服 官方微博 反馈留言

题名	逻辑表达式型似然不变量的分析与检测
作者	胡国庆
答辩日期	2008
授予单位	南华大学
导师	阳小华
关键词	程序不变量 动态检测 软件质量 条件查询
学位名称	硕士
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/5697226
专题	南华大学
作者单位	[胡国庆] 南华大学
推荐引用方式 GB/T 7714	胡国庆. 逻辑表达式型似然不变量的分析与检测[D]. 南华大学. 2008.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。