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

单词	automatic program verification system
释义	automatic program verification system [计] 自动程序验证系统
随便看	matriarchy matric. matric matrical matric algebra Matricaria Matricaria camphor Matricaria chamomilla Matricaria chamomilla L. matricaria chamomillas Matricaria discoidea matricaria ester matricariaester Matricaria indica Matricaria inodora Matricaria inodorum matricaria inodorums Matricaria L. Matricaria matricarioides matricaria matricarioidess matricarianol Matricaria oreades matricaria oreadess Matricaria recutita matricaria recutitas 一物不成，两物见在。一物不知，实以为耻。一物不许二主一物两体，气也。一故神，两故化，此天地之所以参也。一物之理即万物之理，一日之运即一岁之运。一物失称，乱之端也一物必有一主一物治一物一物治一物，口水治跳蚤一物自有一主。ノウテンキノウドノウドノウドウノウドウノウドウキツエンノウドウタイノウドックノウナイノウナシ