电脑体验，效果更佳

最弱前置条件图谱-计算机领域：

研究人员

钟珞

相关术语

良基集 谓词 程序正确性验证 不变式 后继条件 变换 规格说明 排序算法

标签云