홈 > Term: 感应断言方法
感应断言方法
证明的正确性技术在哪个断言书面描述程序输入、 输出和中间条件、 有关满意满意的输出的断言，输入的断言制定一套的定理和定理证明或反驳诱导使用证明。
- 품사: noun
- 분야/도메인: 컴퓨터; 소프트웨어
- 카테고리: Software engineering
- Organization: IEEE Computer Society
0
작성자
- YuebinLiu
-
(V.I.P) 27543 포인트 - 100% positive feedback
(Beijing, China)
