后置条件
（语言术语 | 信息通讯）
后置条件，英文名称post-condition，意思是指输出定义域上的谓词的布尔值。
加载更多
领域
提 交
信息通讯
电气
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》