Jump to main content
図書

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

Icons representing 図書

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

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

Call No. (NDL)
M159-J123
Bibliographic ID of National Diet Library
000009303109
Material type
図書
Author
産業技術総合研究所システム検証研究センター 編
Publisher
産業技術総合研究所関西センター
Publication date
2008.1
Material Format
Paper
Capacity, size, etc.
108p ; 30cm
NDC
007.63
View All

Notes on use

Note (General):

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

Detailed bibliographic record

Contents:

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

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
システム ケンショウ ノ カガク ギジュツ シンポジウム コウエン ロンブンシュウ
Volume
第4回
Author/Editor
産業技術総合研究所システム検証研究センター 編
Author Heading
産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
Publication Date
2008.1
Publication Date (W3CDTF)
2008