众所周知,最弱前提(Weakest Precondition)在顺序程序设计中起着重要作用。本文将为分布式程序设计提供类似的概念。
基于20个网页-相关网页
最弱充分前提 weakest liberal precondition
最弱前提
The weakest premise
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动