英语词汇“program correctness proof”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	run-time characteristic run time check runtime checks run-time checks runtime class run-time class information run-time code runtime code run time code run - time data run-time data run time data area run-time data area runtime data area run-time database processor run time debugging aid runtime debugging aid run-time debugging facilities run time debugging facilities run time debugging language run time debug symbol table run-time debug symbol table run time diagnosis run-time diagnosis run-time diagnostic message 雁来书不至，月照独眠房。贱妾多愁思，不堪秋夜长。雁来燕去换春秋雁来音信无凭，路遥归梦难成。离恨却如春草，更行更远还生。雁湖深，雪峰沈；雁湖浅，雪峰见。雁群无首难成行雁群里没有母雁领头的，赛马场上没有骒马上阵的雁聚河流浊，羊群积草膻雁背夕阳红欲暮雁行云掺参差翼，琼树风开次第花。雁行连雾尽，雨足带云移。荣旋荣显荣枯荣桐荣民荣登荣禄荣耀荣耻荣膺