図書

システム検証の科学技術シンポジウム講演論文集 第4回 (算譜科学研究速報 ; AIST-PS-2008-2)

図書を表すアイコン

システム検証の科学技術シンポジウム講演論文集. 第4回

(算譜科学研究速報 ; AIST-PS-2008-2)

国立国会図書館請求記号
M159-J123
国立国会図書館書誌ID
000009303109
資料種別
図書
著者
産業技術総合研究所システム検証研究センター 編
出版者
産業技術総合研究所関西センター
出版年
2008.1
資料形態
ページ数・大きさ等
108p ; 30cm
NDC
007.63
すべて見る

資料に関する注記

一般注記:

英語併載会期・会場: 2007年11月5日-7日 名古屋大学野依記念学術交流館カンファレンスホール

資料詳細

内容細目:

函館ワークショップ特別講演Comparison of the expressove power of language-based access control models / 関浩之, 高田喜朗 著一般講演...

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
システム ケンショウ ノ カガク ギジュツ シンポジウム コウエン ロンブンシュウ
巻次・部編番号
第4回
著者・編者
産業技術総合研究所システム検証研究センター 編
著者標目
産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )典拠
出版年月日等
2008.1
出版年(W3CDTF)
2008