查单词
查 询
程序校验论
程序校验论
拼音：
chéng xù xiào yàn lùn
日本語訳
プログラム証明論
程序校验论
拼音：
chéng xù jiào yàn lùn
英語訳
theory of program verification
索引トップ
用語の索引
ランキング
相关/近似词汇：
theory
プログラム証明論
程序校验论
程序校验论
日本語訳 プログラム証明論
程序校验论
英語訳 theory of program verification