由计算机学院开设的《程序的形式语义与验证》研究生课程考试时间为：2016年7月8日晚19:30，考试教室：J-404
上一篇：考试通知--《专用集成电路设计 》 下一篇：考试通知--《现代机器学习理论》（X16EE0016、X16EE1016、Z08EE1016）
· 南校区地址：陕西省西安市西沣路兴隆段266号
· 北校区地址：陕西省西安市太白南路2号
· 网站地址：/xidian/mu_gr/
电 话： 029-81891793
传 真： 029-81891793
邮 箱： yjsy@xidian.edu.cn
招生咨询联系方式
电话： 029-81891244
传真： 029-81891244
邮箱： yzb@xidian.edu.cn
研究生工作
研究生招生
研究生教育
