抽象解釈に基づくソフトウェアの段階的構成法とその評価

著者

• 吉岡, 信和 ヨシオカ, ノブカズ

書誌事項

抽象解釈に基づくソフトウェアの段階的構成法とその評価

吉岡信和[著]

吉岡信和, 1998.3

タイトル読み

チュウショウ カイシャク ニ モトズク ソフトウェア ノ ダンカイテキ コウセイホウ ト ソノ ヒョウカ

注記

博士論文(北陸先端科学技術大学院大学, 1998, 博情第32号)

• NII書誌ID(NCID): BA38631970
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [辰口町(石川県)]
• ページ数/冊数: v,108枚
• 大きさ: 30cm