図書

LTLモデル検査のための図示記法 (算譜科学研究速報 ; AIST-PS-2008-4)

Icons representing 図書

LTLモデル検査のための図示記法

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

Call No. (NDL)
Y251-J244
Bibliographic ID of National Diet Library
000009355374
Material type
図書
Author
小池憲史, 吉田聡, 大崎人士 [著]ほか
Publisher
産業技術総合研究所システム検証研究センター
Publication date
2008.2
Material Format
Paper
Capacity, size, etc.
5枚 ; 30cm
NDC
-
View All

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
LTL モデル ケンサ ノ タメ ノ ズシ キホウ
Author/Editor
小池憲史, 吉田聡, 大崎人士 [著]
産業技術総合研究所システム検証研究センター 編
Publication Date
2008.2
Publication Date (W3CDTF)
2008
Extent
5枚
Size
30cm