您的位置： 专家智库 > >

孙莉萍

作品数：1 被引量：0H指数：0
供职机构：上海师范大学数学科学学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇国内会议论文

领域

  • 1篇自动化与计算...

主题

  • 1篇语言
  • 1篇相容性

机构

  • 1篇上海师范大学

作者

  • 1篇孙莉萍
  • 1篇陈仪香

传媒

  • 1篇2001年全...

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
谓词转换器的相容性
本文在Dijkstra的卫式语言的基础上,定义了一种特殊的语言,称为弱随机卫式语言,并讨论了该语言所决定的谓词转换器的相容性.
陈仪香孙莉萍
文献传递
全选 清除 导出
共1页<1>
聚类工具0