|
关注：1
2013-05-23 12:21
求翻译：My research interests lies on Formal Methods, Abstract Interpretation, Program Analysis and verification. I am a member of Analysis of Computer Systems Group at NYU.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
My research interests lies on Formal Methods, Abstract Interpretation, Program Analysis and verification. I am a member of Analysis of Computer Systems Group at NYU.
问题补充： |
|
2013-05-23 12:21:38
我的研究兴趣在于形式化方法，抽象解释，程序分析和验证。我在纽约大学的计算机系统集团的分析的成员。
|
|
2013-05-23 12:23:18
我的研究是利益就正式的方法、抽象解释,方案分析和核查。 我是一个成员的分析的计算机系统集团在纽约大学。
|
|
2013-05-23 12:24:58
我的研究在正式方法、抽象解释、程序分析和证明感兴趣谎言。 我是对计算机系统小组的分析的成员在NYU。
|
|
2013-05-23 12:26:38
我的研究兴趣谎言上正式方法、 抽象解释、 程序分析和验证。我在纽约大学组计算机系统分析中的成员。
|
|
2013-05-23 12:28:18
我的研究兴趣谎言上正式方法、 抽象解释、 程序分析和验证。我在纽约大学组计算机系统分析中的成员。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
