廖春华
作品数: 3被引量:3H指数:1
  • 所属机构:江西师范大学计算机信息工程学院
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

薛锦云
作品数:136被引量:555H指数:13
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR
陈勇光
作品数:4被引量:4H指数:1
供职机构:江西师范大学计算机信息工程学院
研究主题:XML 工作流管理系统 工作流 基于XML 可适应性
杨庆红
作品数:41被引量:131H指数:8
供职机构:江西师范大学计算机信息工程学院
研究主题:循环不变式 程序设计 教学改革 递归问题 递推关系