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

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	severity error severity factor severity index severity level severity of braking severity of environmental parameter severity of grind severity of illness code severity of illness scale severity of injuries severity of quench severity of quenching severity rate severity rating severization severize Severka severloh severly severma severn Severna Park Severnaya Severnaya Dvina severnaya dvina (north dvina r.) 噪噫噬噭噮噰噱噳噶噷たまる【溜まる】たまわりものたまわりもの【賜り物】たまわり物たまわるたまわる【賜る（給わる）】たま乗りたま入れたま拾いたま止め