ソフトウェア設計仕様の動的検証に関する研究

Author(s)

Bibliographic Information

ソフトウェア設計仕様の動的検証に関する研究

研究代表者 大野豊

[大野豊], 1986.3

Other Title

昭和60年度科学研究費補助金(一般研究(B)) : 研究成果報告書 : 課題番号 58460236

Title Transcription

ソフトウェア セッケイ シヨウ ノ ドウテキ ケンショウ ニ カンスル ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Note

京都大学工学部

Details

  • NCID
    BB06678111
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [京都]
  • Pages/Volumes
    90p
  • Size
    26cm
Page Top