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