当前位置:首页 » 翻译 
  • 匿名
关注:1 2013-05-23 12:21

求翻译:Finding that the invariant of a loop does not hold after the from clause or after an iteration of the loop body.是什么意思?

待解决 悬赏分:1 - 离问题结束还有
Finding that the invariant of a loop does not hold after the from clause or after an iteration of the loop body.
问题补充:

  • 匿名
2013-05-23 12:21:38
null
  • 匿名
2013-05-23 12:23:18
查找,不变的是循环不按住后的从句或经过一次迭代的循环体。
  • 匿名
2013-05-23 12:24:58
发现不变式圈不举行在以后从条目或在循环体的叠代以后。
  • 匿名
2013-05-23 12:26:38
找到的一个循环不变量并不持有后 from 子句或迭代循环体之后。
  • 匿名
2013-05-23 12:28:18
正在翻译,请等待...
 
 
网站首页

湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区

 
关 闭