词汇“程序正确性证明 proof of program correctness;”的意思、用法、释义、翻译、读音、例句、短语、词组-国际大辞典

单词	程序正确性证明 proof of program correctness;
释义	见:程序: 程序正确性证明 proof of program correctness;
随便看	lose the scent lose the the day lose the thread (of) lose the toss lose the upper hand lose the use of lose touch with lose track of loseyite -losic losing losing game losing hazard losingly losing party losing proposition -losity losophan 5lCsEfEn loss LOSS loss advice loss and damage or delay of goods loss and gain account loss and gain statement loss angle

国际大辞典收录了835600条英语、德语、日语等多语种在线翻译词条，基本涵盖了全部常用单词及词组的翻译及用法，是外语学习的有利工具。