データ抽象化に於ける仕様とプログラムとの対応に関する論理的アプローチの研究

著者

• 金藤, 栄孝 コンドウ, ヒデタカ

書誌事項

データ抽象化に於ける仕様とプログラムとの対応に関する論理的アプローチの研究

金藤栄孝[著]

金藤栄孝, 2004.9

タイトル読み

データ チュウショウカ ニ オケル シヨウ ト プログラム トノ タイオウ ニ カンスル ロンリテキ アプローチ ノ ケンキュウ

注記

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

• NII書誌ID(NCID): BA75780732
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [能美]
• ページ数/冊数: xiii, 262p
• 大きさ: 30cm