您的位置： 专家智库 > >

魏晋伟

作品数：2 被引量：1H指数：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个Intern...
  • 1个北京大学学报...
  • 1个计算机学报
  • 1个河南大学学报...
  • 1个软件学报
  • 1个计算机工程与...
  • 1个传感技术学报
  • 1个计算机科学
  • 1个计算机教育
  • 1个全国计算机辅...
  • 1个全国程序设计...

地区

  • 1个北京市
共 1 条 记 录，以下是 1-1
裘宗燕
供职机构：北京大学数学科学学院
研究主题：程序设计语言 语言 形式化方法 异常处理 程序设计
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0