澳门金莎娱乐网站,唯一授权

Southwest Jiaotong University School of Mathematics

信息与计算科学系

澳门金莎娱乐网站  >  学术科研  >  信息与计算科学系  >  正文

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

澳门金莎娱乐网站:信息与计算科学系   编辑:赵海良     日期:2017-09-11 16:50:13   点击数:  

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



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

                                        信息与计算科学系

                                                                                2017.9.11

XML 地图 | Sitemap 地图