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

著者

• 大野, 豊 オオノ, ユタカ

書誌事項

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

研究代表者 大野豊

[大野豊], 1986.3

タイトル別名

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

タイトル読み

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

注記

京都大学工学部

詳細情報

• NII書誌ID(NCID): BB06678111
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 90p
• 大きさ: 26cm