English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 活动 > 活动日历 > 专委 > 形式化方法

CCF中国软件大会2023

阅读量:552 2023-05-08 收藏本文

2023年11月1日-11月3日上海

CCF中国软件大会2023

会议编号：CCF-TC-23-088

主办：中国计算机学会（CCF）

承办：复旦大学

联系：彭鑫 pengxin@fudan.edu.cn

<<< 上一篇 CCF约束求解公开课

CCF中国软件大会下一篇 >>>

<<< 下一篇 CCF中国软件大会

CCFLink下载