饶红萍
作品数： 3被引量：13H指数：2
  • 所属机构:南昌航空大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

薛锦云
作品数：139被引量：566H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
杨庆红
作品数：41被引量：133H指数：8
供职机构：江西师范大学计算机信息工程学院
研究主题：循环不变式 程序设计 教学改革 递归问题 递推关系
作品列表