A study on generating efficient rewrite theory specification from behavioral specification 振舞仕様から効率の良い書換え理論仕様の生成に関する研究

この論文をさがす

著者

    • 張, 民 チャン, ミン

書誌事項

タイトル

A study on generating efficient rewrite theory specification from behavioral specification

タイトル別名

振舞仕様から効率の良い書換え理論仕様の生成に関する研究

著者名

張, 民

著者別名

チャン, ミン

学位授与大学

北陸先端科学技術大学院大学

取得学位

博士 (情報科学)

学位授与番号

甲第680号

学位授与年月日

2011-09-22

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000564030
  • NII著者ID(NRID)
    • 8000000566253
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 024030697
  • データ提供元
    • NDL-OPAC
ページトップへ