一覧に戻る

タイトル
  • 形式仕様の記述スタイルに関する研究
作成者
    • 杉山, 智倫
主題
  • Other 形式仕様, Z記法, 状態遷移機械, 書き換え規則
  • Other Formal Specifications, Z, CafeOBJ, Transition Syst
内容注記
  • Other Supervisor:二木 厚吉
  • Other 情報科学研究科
  • Other 修士
  • Other identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/1058
日付
    Issued1997-03
言語
  • jpn
資源タイプ thesis
出版タイプ AM
資源識別子 URI http://hdl.handle.net/10119/1058
ファイル
コンテンツ更新日時 2021-04-14