|
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：女
毕业院校：西安电子科技大学
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机科学与技术
电子邮箱：
扫描关注
程序的形式语义与验证
点击次数：
开课学年：2016-2017
开课学期：春学期
课程号：X19CS1004
学分：3.0
课程类型：研究生课程
是否精品课程：否
课时：48.0