図書

代数仕様アプローチによる制的モデル検査手法の研究

Icons representing 図書

代数仕様アプローチによる制的モデル検査手法の研究

Call No. (NDL)
Y151-H17500028
Bibliographic ID of National Diet Library
000009629865
Material type
図書
Author
中島震, 国立情報学研究所 [著]
Publisher
[中島震]
Publication date
2005-2007
Material Format
Paper
Capacity, size, etc.
117p
NDC
-
View All

Notes on use

Note (General)：

文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

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
代数仕様アプローチによる制的モデル検査手法の研究
Title Transcription
ダイスウ シヨウ アプローチ ニ ヨル セイテキ モデル ケンサ シュホウ ノ ケンキュウ
Author/Editor
中島震, 国立情報学研究所 [著]
Author Heading
中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )Authorities
国立情報学研究所 コクリツ ジョウホウガク ケンキュウジョ ( 00821713 )Authorities
Publication, Distribution, etc.
[中島震]
Publication Date
2005-2007
2008.6
Publication Date (W3CDTF)
2005
2007
Extent
117p
Additional Title
研究種目 基盤研究(C)