恒最弱前置条件

constant weakest pre-condition【计】

暂无补充释义。

相关词条

gravitational constant

integer constant exceeds range【计】

constant temperature and humidity

constant-current discharge【电】

constant resistance network【电子】

multiplication constant【数】;multiplying constant【数】

constant volume

gradient constant