ヘルプ
ヘルプ
図書

ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)

図書を表すアイコン

ソフトウェア工学の道具としての形式手法

(NII technical report ; NII-2007-7J)

国立国会図書館請求記号
Y251-H1617
国立国会図書館書誌ID
000008869584
資料種別
図書
著者
中島震 [著]
出版者
National Institute of Informatics
出版年
2007.7
資料形態
紙
ページ数・大きさ等
22p ; 30cm
NDC
-
すべて見る

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISSN（シリーズ）
1346-5597
タイトル
ソフトウェア工学の道具としての形式手法
タイトルよみ
ソフトウェア コウガク ノ ドウグ ト シテノ ケイシキ シュホウ
著者・編者
中島震 [著]
シリーズタイトル
NII technical report ; NII-2007-7J
出版事項
[Tokyo] : National Institute of Informatics
出版年月日等
2007.7
出版年（W3CDTF）
2007
数量
22p