オープンソフトウェアの形式モデルと検証技法に関する基礎的研究

Author(s)

Bibliographic Information

オープンソフトウェアの形式モデルと検証技法に関する基礎的研究

稲垣康善 [ほか著]

[出版者不明], 1998.3

Other Title

平成8年度~9年度科学研究費補助金(基盤研究(B)(2))研究成果報告書

Title Transcription

オープン ソフトウェア ノ ケイシキ モデル ト ケンショウ ギホウ ニ カンスル キソテキ ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Note

課題番号:08458066

研究分担者: 坂部俊樹, 酒井正彦, 結縁祥治ほか

Details

  • NCID
    BA37497806
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [出版地不明]
  • Pages/Volumes
    96p
  • Size
    30cm
Page Top