constant weakest pre-condition

[constant weakest pre-condition]
[constant weakest pre-condition]

中文释义

[计] 恒最弱前置条件

单词分析

单词结构:

constant weakest pre-condition

字母数:30

记忆提示

🎯 重点记忆:

  • 单词拼写:constant weakest pre-condition
  • 核心含义:[计] 恒最弱前置条件