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

单词	constructive program verification
释义	constructive program verification [计] 结构程序验证
随便看	monsoonals monsoonal season monsoon asia monsoon asia integrated regional monsoon asia integrated regional study (mairs) monsoon break monsoon bucket monsoon burst monsoon circulation monsoon climate monsoon climate of medium latitudes monsoon cloud monsoon cloud cluster monsoon cluster monsoon convergence line monsoon current monsoon currents monsoon cyclone monsoon depression monsoon disturbance monsoon drift monsoon dynamics monsoon experiment monsoon fog monsoon forest 兵不妄动，师必有名兵不妄动，而习武不辍，所以养民命而修戎备也。兵不必胜，不苟接刃；攻不必取，不为苟发。兵不离营，马不离站，放羊不离破羊圈兵不血刃，远迩来服兵不豫定，无以待敌；计不先虑，无以应卒兵不贵胜，而贵不可胜兵临告急，必须死敌兵临城下，将至壕前兵临城下，措手不及ぎんえい【吟詠】ぎんえんぎんえん【銀塩】ぎんかぎんか【銀貨】ぎんかいしょくぎんかいしょく【銀灰色】ぎんかんぎんかん【銀漢】ぎんが