書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

Author(s)

Bibliographic Information

書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

河口信夫 [著]

[出版者不明], [1997]

Other Title

書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

Title Transcription

カキカエガタ ケイサン モデル ノ カイセキ・ケンショウ・ヘンカン ノ タメ ノ シカクテキ シエン シュホウ ニ カンスル ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Note

名古屋大学大学院工学研究科1996年度博士論文

学位の種類: 博士(工学)

学位授与年月日: 1997-02-07

報告番号: 甲第3572号

学位記番号: 工博第1056号

Details

  • NCID
    BB14174022
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [出版地不明]
  • Pages/Volumes
    viii, 132p
  • Size
    29cm
Page Top