ag网站亚游登录,ag亚集团官方网站

Southwest Jiaotong University School of Mathematics

信息与计算科学系

ag网站亚游登录  >  学术科研  >  信息与计算科学系  >  正文

学术讲座——程序验证中的数学方法---自动推理

ag网站亚游登录:信息与计算科学系   作者:赵海良     日期:2017-09-11 16:50:13   点击数:  

报告题目:程序验证中的数学方法---自动推理



  报告人:何星星 博士
      报告时间:2017.9.15上午9:50-11:25
      地点:X1322
      欢迎有兴趣者光临!
    

                                        信息与计算科学系

                                                                                2017.9.11

XML 地图 | Sitemap 地图