搜索结果: 1-1 共查到“计算机软件 Sifakis”相关记录1条 . 查询时间(0.054 秒)
作为东北大学计算机科学与工程学院成立大会系列活动之一，12月14日和17日，美国计算机协会图灵奖获得者、欧洲科学院院士、法国科学院院士Joseph Sifakis教授分别在汉卿会堂蔡冠深报告厅和信息学馆301室为学院师生作了题为“Is Computing a Science?”和“Modeling Architecturesand Their Properties”的学术报告，并详细解答了与会师生...