CCF形式化方法专委走进烟台大学
时间:2026-05-22
地点:山东省烟台市烟台大学
联系人:吴志林 联系方式:wuzl@ios.ac.cn
版权所有 中国计算机学会
联系电话: (+86)10 6256 2503 邮件:ccf@ccf.org.cn
京公网安备 11010802032778号 京ICP备13000930号-4
网站建议或者意见请发送邮件:suggest@ccf.org.cn
投诉请联系:complain@ccf.org.cn
返回首页