automatic program verification system

[automatic program verification system]
[automatic program verification system]

中文释义

[计] 自动程序验证系统

单词分析

单词结构:

automatic program verification system

字母数:37

记忆提示

🎯 重点记忆:

  • 单词拼写:automatic program verification system
  • 核心含义:[计] 自动程序验证系统