2. 您的位置
3. 首页
4. 期刊论文
5. 一种寻找测试值断言证明程序正确的方法

一种寻找测试值断言证明程序正确的方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户：yuxuan_huang

【作 者】

：

刘清 

【出 处】

：

计算机工程

【发表日期】

：

1981年06期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

南雄烟区主要植烟土壤特征分析

期刊

利用公园、绿地、操场等地下空间建设停车场(库)规划研究——以杭州市为例

会议

一株禽流感病毒部分基因的克隆及表达研究

学位

兰科5属10种植物花粉块形态扫描电镜观察

会议

中国西南马mtDNA序列进化与群体遗传结构分析

学位

乡村性感知对重游意愿的影响研究——以袁家村为例

学位

深圳坝光湿地地表水水环境质量评价

期刊

吐鲁番斗鸡种质资源保护及开发利用

学位

东北部分地区鸡和动物园内虎弓形虫感染的血清学调查

学位

鹅细小病毒SRW株VP2基因克隆及原核表达

学位