|国家科技期刊平台

首页|期刊导航|西北师范大学学报：自然科学版|关于求已知do循环不变式的一个方法及for循环的WP的定义

关于求已知do循环不变式的一个方法及for循环的WP的定义

王彩芬

西北师范大学学报：自然科学版1993，Vol.29Issue(3)：24-30,7.

✕

西北师范大学学报：自然科学版1993，Vol.29Issue(3)：24-30,7.

关于求已知do循环不变式的一个方法及for循环的WP的定义

王彩芬¹

作者信息

折叠

摘要

关键词

最弱前置谓词/循环不变式/程序设计

分类

信息技术与安全科学

引用本文复制引用

王彩芬..关于求已知do循环不变式的一个方法及for循环的WP的定义[J].西北师范大学学报：自然科学版,1993,29(3):24-30,7.

西北师范大学学报：自然科学版

ISSN：1001-988X

访问量0

|

下载量0

段落导航

相关论文

摘要
关键词
分类
引用文本