対象系のシミユレーシヨンに基づくプログラム理解とそのプログラム開発支援への応用

• 資料種別: 図書
• タイトル: 対象系のシミユレーシヨンに基づくプログラム理解とそのプログラム開発支援への応用
• タイトルよみ: タイショウケイ ノ シミユレーシヨン ニ モトヅク プログラム リカイ ト ソノ プログラム カイハツ シエン ヘ ノ オウヨウ
• 著者・編者: 伊東, 幸宏, 静岡大学
• 著者標目: 著者 ： 伊東, 幸宏 イトウ, ユキヒロ ( 00167083 )典拠; 静岡大学 シズオカ ダイガク ( 00302677 )典拠
• 出版年月日等: 1996-1997
• 出版年（W3CDTF）: 1996
• 数量: 冊
• その他のタイトル: 研究種目 基盤研究(C)
• 件名標目: プログラム理解 プログラムリカイ; 対象世界モデル タイシヨウセカイモデル; プログラム検証 プログラムケンシヨウ
• NDLC: Y151
• 一般注記: 文部省科学研究費補助金研究成果報告書
• 科研費課題番号: 08680393
• 所蔵機関: 国立国会図書館
• 請求記号: Y151-H08680393
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000007017325; http://id.ndl.go.jp/bib/000007017325
• 整理区分コード: 214