注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Amir Pnueli近期论文

  2. Amir Pnueli图灵奖获得者，是他把时态逻辑引入到计算机领域，研究形式化验证的人，看看他的论文，还是有必要！

  3. 所属分类：专业指导

    • 发布日期：2009-04-19
    • 文件大小：1mb
    • 提供者：hope2005