科研速递论坛

标题: 程序正确性验证的几个问题 [打印本页]

作者: China007 时间: 2015-9-1 20:59
标题: 程序正确性验证的几个问题

题名	程序正确性验证的几个问题
作者	范年柏
导师	周叔子
院校	湖南大学
时间	2005
链接	http://d.wanfangdata.com.cn/Thesis/W030700

本帖最后由 China007 于 2015-9-1 21:34 编辑

作者: cuiwq456 时间: 2015-9-1 20:59
提示: 作者被禁止或删除内容自动屏蔽

作者: cuiwq456 时间: 2015-9-1 21:00
提示: 作者被禁止或删除内容自动屏蔽

欢迎光临科研速递论坛 (http://www.expaper.cn/)