计算机科学与技术学院教材编写人员公示（第二批）
根据《中国科学院大学关于启动2021年度教材出版立项申请工作的通知》要求，经教学团队补充报名、学院资格审核，现将审核结果（第二批）公示如下：
| 序号 | 教材名称 | 编写人员 |
| 1 | 形式化方法 | 张健 |
（注：本报告涉及的“教材”包括教材和教学辅导书）
如有异议，请在公示期间通过电话或邮件联系。
公示时间：2021年6月11日至15日
联系电话：010-69671785/1786
联系邮箱：ylc@ucas.edu.cn杨老师 / ldj@ucas.ac.cn李老师
计算机科学与技术学院
2021年6月11日
