自动验证技术获得图灵奖

在线阅读 下载PDF 导出详情
摘要 三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候,2008年6月21日晚,美国计算机协会(ACM)在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。
机构地区 不详
出处 《计算机教育》 2008年23期
出版日期 2008年12月22日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献