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

单词	automatic program verification system
释义	automatic program verification system自动程序验证系统automatic program verification system自動程式驗證系統電子計算機名詞
随便看	troglodytical troglodytidae troglodytism troglodytisms trogloglanis eigenmann trogloglanis eigenmann--1919 trogloglanis eigenmann，1919 trogloglanis pattersoni eigenmann trogloglanis pattersoni eigenmann，1919；英：toothless blond cat troglophilous troglotrema trogloxenous trogoderma gramarium trogoderma granarium trogoderma granarium everts trogoderma granarium everts trogon trogonidae trogoniformes trogonophidae trogonophidae-- sharp-tailed worm lizard trogonophidae--sharp-tailed worm lizard trogonophidae; sharp-tailed worm lizard trogonophis weigmanni trogonophis weigmanni -- checkerboard worm lizard-- wiegmann's worm lizard