图片新闻

 首页 > 图片新闻

    软件学院首次面向本科生开设软件理论基础学分课程

  •   9月13日下午13:30,《软件证明技术导引》在6教A205正式开课,来自软件学院和计算机系的30多名本科生、研究生到课听讲。这也是我院自2010年春季学期首次面向本科生试开《形式推理导引》课之后,面......

141条   分8页   当前 第8页   首页 上一页 下一页 末页 跳转到