搜索结果: 1-1 共查到“电子科学与技术 Clarke”相关记录1条 . 查询时间(0.031 秒)
北京大学“信息技术与信息化”名家讲坛——图灵奖得主Edmund M. Clarke教授开讲（图）
名家讲坛 教授 开讲
2011/12/12
应北京大学信息科学技术学院的邀请，世界著名计算机科学家、计算机科学最高荣誉图灵奖获得者Edmund M. Clarke教授于10月21日上午莅临北京大学“信息技术与信息化”名家讲坛，为师生作了题为“形式化方法前沿问题”的精彩报告。