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

单词	automatic program verification system
释义	automatic program verification system [计] 自动程序验证系统
随便看	noncompaction noncompact manifold noncompactness noncompact real simple Lie algebras noncompact topological space noncompact type noncompany non-comparability noncomparability non-comparable noncomparable non comparable data noncomparable data non-comparable data noncomparable elements non-comparable elements noncomparable factors noncomparable jobs non-comparable method of summation non-comparable summation non-comparative noncomparative non-comparative alternative non-comparative element noncompartmental 5313134 531313432 531313451 531314321 531315 531315514 531321112 531321134 531321234 5313215*12 嗯嗲嗳嗳嗳嗳气嗳腐嗳酸嗵嗶