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

单词	automatic program verification system
释义	automatic program verification system [计] 自动程序验证系统
随便看	network awareness network backbone network, backbone network bandwidth network-based Network Based Application Recognition network-based authentication network-based ids network-baseds network-based system network base schedule Network Basic Input Output System network behavior analysis network bill of lading network bindings network board network bond network boot network, branch network break-in network bridge network broadcast name schema network broadcast protocol network browser network buffer 京洛多风尘，素衣化为缁。亭亭孤艳带寒日，漠漠远香随野风。亭亭椅桐，郁兹庭圃。翠微疏风，绿桐荫宇。亭亭玉立，仪态万方亭亭玉立，楚楚动人亭亭玉立，落落大方亭亭玉立，顾盼神飞亭亭玉立，风姿绰约亭前春逐红英尽，舞态徘徊亭前琪树已堪攀，塞北征人尚未还きりさめ【霧雨】きりざんしょうきりざんしょう【切り山椒】きりしたんきりじにきりじに【切り死に・斬り死に】きりすてきりすて【切り捨て】きりすてごめんきりすてごめん【切り捨て御免・斬り捨て御免】