国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
図書
組み込みソフトウェア開発におけるモデル検査の適用事例 (算譜科学研究速報 ; AIST-PS-2005-1)
図書を表すアイコン
組み込みソフトウェア開発におけるモデル検査の適用事例
(算譜科学研究速報 ; AIST-PS-2005-1)
国立国会図書館請求記号
Y251-H720
国立国会図書館書誌ID
000007634925
資料種別
図書
著者
水口大知, 渡邊宏 [著]
出版者
産業技術総合研究所関西センター尼崎事業所システム検証研究センター
出版年
2005.1
資料形態
紙
ページ数・大きさ等
15p ; 30cm
NDC
-
すべて見る
書店で探す
書店で探す
書店で探す
日本の古本屋
外部サイト
Google Book Search
外部サイト
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
図書
タイトル
組み込みソフトウェア開発におけるモデル検査の適用事例
タイトルよみ
クミコミ ソフトウェア カイハツ ニ オケル モデル ケンサ ノ テキヨウ ジレイ
著者・編者
水口大知, 渡邊宏 [著]
シリーズタイトル
算譜科学研究速報 ; AIST-PS-2005-1
出版事項
尼崎 : 産業技術総合研究所関西センター尼崎事業所システム検証研究センター
出版年月日等
2005.1
出版年(W3CDTF)
2005
数量
15p
大きさ
30cm
出版地(国名コード)
JP
本文の言語コード
jpn
NDLC
Y251
対象利用者
一般
所蔵機関
国立国会図書館
請求記号
Y251-H720
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
000007634925
http://id.ndl.go.jp/bib/000007634925
全国書誌番号
20737298
目録規則
日本目録規則1987年版改訂版
整理区分コード
117
もっと見る