首页 > Term: 感应断言方法
感应断言方法
证明的正确性技术在哪个断言书面描述程序输入、 输出和中间条件、 有关满意满意的输出的断言，输入的断言制定一套的定理和定理证明或反驳诱导使用证明。
- 词性： noun
- 行业/领域： 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- YuebinLiu
-
(V.I.P) 27543 分数 - 100% positive feedback
(Beijing, China)
