VCG,VCGEN
= Verification Condition Generator,驗證條件發生器[生成程序]
熱門查詢
- klutz n. 笨手笨腳的人
- centre stage n. 重要位置；中心；核心 [網絡] 阮玲玉；中心舞臺；聚賢居
- tiresomely adv. 令人厭倦地；累人地
- Loa abbr. 總長（Length Overall） n. (Loa)人名；(西)洛亞
- Moroccan adj. 摩洛哥的 n. 摩洛哥人
- resorption n. 再吸收；再吞
- alacrity n. 敏捷；輕快；樂意
- magnetized adj. 已磁化的 v. 磁化（magnetize的過去分詞）；吸引
- tor n. [地理] 石山；[地理] 突巖 n. (Tor)人名；(德、捷、葡、土、芬、挪、以、瑞典)托爾；(阿拉伯)紹爾；(柬)多
- drenching n. 濕透
- Quincy n. 昆西（男子名）；昆西（美國馬薩諸塞州東部城市）；第五
- toggle n. 開關，觸發器；拴扣；[船] 套索釘 vt. 拴牢，系緊
- suburban n. 郊區居民 adj. 郊區的，城郊的；土氣的；見聞不廣的
- veneration n. 尊敬；崇拜
- crashworthy adj. 防撞的
- Davie abbr. digital alphanumeric video insertion equipment 數字式字母數字視頻插入設備
- Rosalind n. 羅莎琳德（女子名）
- duchess n. 公爵夫人；女公爵；雍容華貴的婦女；小老板娘 vt. （澳）盛情款待；討好 vi. 熱情款待；討好
- remodelling v. 改變…的結構[形狀]( remodel的現在分詞 )
- who pron. 誰；什么人
考試詞匯表
- ischemic acute renal failure
- ischemic brachiac neuropathy
- ischemic myocardial necrosis
- ischemic peripheral cyanosis
- ischial weight bearing brace
- ischial weight-bearing brace
- isdn digital subscriber line
- isentropic nonflow expansion
- isentropic working expansion
- isepamicin sulfate injection
- islamic group of uzbekistans
- islamic resistance movements
- island-arc tectonic movement
- islet cell tumor of pancreas
- islet(cell)tumor of pancreas
- islet-exocrine portal system
- iso butylene isoprene rubber
- iso-amylethylbarbituric acid
- iso-diamminedichloroplatinum
- iso-phthalic polyester resin
