最弱前置条件

（计算机科学技术）
最弱前置条件（weakest precondition），计算机科学技术名词，保证一个语句执行正常结束并满足结果断言的最弱前提条件。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》