登录 | Chinese | 使用条款
词典论坛联络

   英语 ⇄ +
Google | Forvo | +

symbolic model verifier

强调
编程 символьный верификатор моделей (сокр. SMV ssn)
 英语 词库
Symbolic Model Verifier
缩写, 编程 SMV (ssn)

增加 | 报告错误 | 获取短网址