搜索结果: 1-1 共查到“程序设计及其语言 院士”相关记录1条 . 查询时间(1.231 秒)
中国科学院院士林惠民来校作学术报告
计算机程序 形式语义学
2015/12/18
2015年12月16日，中国科学院软件研究所研究员、中国科学院院士林惠民应邀在汉卿会堂402室为我校计算机科学与工程学院师生作了题为“The Myth of Linearization Points”的学术报告。