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

您的位置：首页 > 活动 > 活动日历 > 专委

CCF形式化方法专委走进轩宇信息技术有限公司

阅读量:0 2026-04-17 收藏本文

CCF形式化方法专委走进轩宇信息技术有限公司

时间：2026-04-17

地点：北京市海淀区中关村南三街16号

联系人：吴志林联系方式：wuzl@ios.ac.cn

<<< 上一篇 CCF协同计算专委常委扩大会议暨专委战略发展

CCF形式化方法专委FM 2026论文预讲会下一篇 >>>

<<< 下一篇 CCF形式化方法专委FM 2026论文预讲会

CCFLink下载