咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 program correctn...
  • 1 篇 embedding mappin...
  • 1 篇 state-transition...

机构

  • 1 篇 thammasat univ c...
  • 1 篇 hokkaido univ di...

作者

  • 1 篇 nantajeewarawat ...
  • 1 篇 akama kiyoshi

语言

  • 1 篇 英文
检索条件"主题词=state-transition computation model"
1 条 记 录,以下是1-10 订阅
排序:
state-transition computation models and Program Correctness Thereon
收藏 引用
JOURNAL OF ADVANCED computationAL INTELLIGENCE AND INTELLIGENT INFORMATICS 2007年 第10期11卷 1250-1261页
作者: Akama, Kiyoshi Nantajeewarawat, Ekawit Hokkaido Univ Div Large Scale Computat Syst Informat Initiat Ctr Kita Ku Kita 11 Nishi 5 Sapporo Hokkaido 0600811 Japan Thammasat Univ Comp Sci Program Sirindhorn Int Inst Technol Pathum Thani 12121 Thailand
The common framework for formalizing state-transition computation models we present is based on a general theory for studying the interrelationship of specifications, programs, computation, and program correctness. We... 详细信息
来源: 评论