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

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	date of last survey date of last use date of last use range date of launch date of launching date of letter date of listing date of loading date of loss date of making available to the public date of manufacture date of maturity date of new editions date of observation date of opening date of original register date of patent date of payment date of payment of dividend date of policy date of porting date of posting date of presentation date of printing date of production 向别人牛奶里没插过手指头，向别人马群里没甩过套马杆向前不信别离苦，而今自到别离处。两行粉泪红阑干，一朵芙蓉带残露。向前不信别离苦，而今自到别离处。两行粉泪红阑干，一朵芙蕖带残露。向前敲瘦骨，犹自带铜声。向口袋里钻向壁悬如意，当帘阅角巾。向壁暧孤灯，秋帏寒寂寂。斜照碧山图，松间一片石向壁虚造，闭门造车向夕旧滩都浸月，遏空新树便留烟。向天而唾巧辩巧迟巧遇巨巨人巨亿巨作巨儒巨创巨制