Home > Term: 感应断言方法
感应断言方法
证明的正确性技术在哪个断言书面描述程序输入、 输出和中间条件、 有关满意满意的输出的断言，输入的断言制定一套的定理和定理证明或反驳诱导使用证明。
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- YuebinLiu
-
(V.I.P) 27543 points - 100% positive feedback
(Beijing, China)
