オブジェクト指向型ソフトウェアの使用記述と検証及び実行プログラム導出

著者

• 谷口, 健一 タニグチ, ケンイチ

書誌事項

オブジェクト指向型ソフトウェアの使用記述と検証及び実行プログラム導出

研究代表者 谷口健一

[谷口健一], 2005.3

タイトル別名

平成13年度〜平成16年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

タイトル読み

オブジェクト シコウガタ ソフトウェア ノ シヨウ キジュツ ト ケンショウ オヨビ ジッコウ プログラム ドウシュツ

注記

課題番号:13680414

• NII書誌ID(NCID): BA75422040
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [吹田]
• ページ数/冊数: 1冊
• 大きさ: 30cm