weakest precondition

网络释义

1.	最弱前置条件前置条件,precondition,音标,读音,翻译,英... ... ) Precondition simplifyi 前置条件简化 ) weakest precondition 最弱前置条件 ... www.dictall.com
2.	最弱前提为了教些离开研习营后仍有用的东西，今年我想教 Hoare 逻辑与 Dijkstra 使用最弱前提(weakest precondition) 的程式建构法。 … iis.sinica.edu.tw
3.	最弱前条件最弱前条件,weakest... ... ) weakest link model 最弱链模型 ) weakest precondition 最弱前条件 ) Weakest link 最弱链 ... www.dictall.com

4.	最弱初使条件我同时也对使用最弱初使条件（weakest precondition）的程序式语言程式推导有兴趣。反函数：许多问题都能描述成寻找某些 … www.iis.sinica.edu.tw

更多释义

收起释义