go top

program logic and verification

网络释义

 

... 冲 编程环境(programming environments) 编程逻辑与验证(program logic and verification) 冲 自动推理(automated reasoning) ...

基于1个网页-相关网页

 

... 㯁 编程环境(programming environments) 编程逻辑与验证(program logic and verification) 㯁 自动推理(automated reasoning) ...

基于1个网页-相关网页

  编程逻辑与验证

... ? 编程环境(programming environments) ? 编程逻辑与验证(program logic and verification) ? 自动推理(automated reasoning) ...

基于1个网页-相关网页

有道翻译

program logic and verification

程序逻辑和验证

以上为机器翻译结果,长、整句建议使用 人工翻译

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定