您的位置： 专家智库 > >

舒少华

作品数：2 被引量：5H指数：1
供职机构：怀化市铁路第一小学更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

领域

  • 1个经济管理
  • 1个自动化与计算...
  • 1个交通运输工程
  • 1个文化科学

主题

  • 1个代码
  • 1个代码覆盖
  • 1个形式规约
  • 1个形式化
  • 1个形式化方法
  • 1个形式化建模
  • 1个学科
  • 1个循环不变式
  • 1个语法分析
  • 1个语法分析器
  • 1个源代码
  • 1个运量
  • 1个智慧课堂
  • 1个软件测试
  • 1个软件工程
  • 1个软件工程教育
  • 1个软件系统
  • 1个软件系统建模
  • 1个数据库
  • 1个数据库原理

机构

  • 1个长沙理工大学
  • 1个怀化学院

传媒

  • 1个计算机应用文...
  • 1个计算机时代
  • 1个现代计算机
  • 1个计算机与数字...
  • 1个软件
  • 1个福建电脑
  • 1个怀化学院学报
  • 1个电脑知识与技...

地区

  • 1个湖南省
共 1 条 记 录，以下是 1-1
马竹根
供职机构：怀化学院
研究主题：水滴 基因表达式编程 HOARE逻辑 循环不变式 DELPHI语言
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0