循环不变式
The loop invariant of definite do loop is attained by using its WP.
对确定性do循环,利用其WP求出循环不变式。
Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法
英语网 · 初中英语作文
英语网 · 英语词汇
英语网 · 高考英语
英语网 · 双语娱乐资讯
英语网 · 双语新闻