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

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	v-groove v-groove connector V-grooved V-grooved core cable V-grooved pulley V-groove isolation v-groove laser v-groove lensless component v-groove mosfet V-groove MOS field effect transistor v-grooves v-groove weld V-grooving and tonguing VGRR vGRX VGTU VGU V-guide V guide V-guide way V gutter VG/VP v.h v.h. vh 妾命由来薄，君恩岂异同？自怜团扇冷，不敢怨秋风。妾在巫山之阳，高丘之阻，旦为朝云，暮为行雨，朝朝暮暮，阳台之下。妾坐江之介，君戍小长安。相去三千里，参商书信难。妾如江心黄龙堆，江枯石烂长崔嵬。郎如治平寺中塔，戎州西望忽飞来。妾妆郎共肩，芙蓉出渌摇晚妍；妾眠郎共枕，鸳鸯回波落春影。妾家五岭南，君戍三城北。雁来虽有书，衡阳越不得。妾家住在鸳鸯浦。妾貌如花被花妒。折得花归娇厮觑。花心多怨，妾心多恨，胜似莲心苦。妾家夫婿轻离久，寸心誓与长相守。愿言行路莫多情，送妾贞心在人口。妾年初二八，两度嫁狂夫。薄命今犹在，坚贞扫地无。妾当作蒲苇，蒲苇韧如丝。直面直音相相相相あいがさ相あい傘相いれない相うち相おい