您的位置首页百科词条

最弱前置条件

最弱前置条件

最弱前置条件(weakest precondition)是2018年公布的计算机科学技术名词。

想要了解更多“最弱前置条件”的信息,请点击:最弱前置条件百科