図書

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / Gabriele Puppis. (Lecture notes in computer science ; 5955 ; Lecture notes in artificial intelligence)

図書を表すアイコン

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / Gabriele Puppis.

(Lecture notes in computer science ; 5955 ; Lecture notes in artificial intelligence)

国立国会図書館請求記号
X
国立国会図書館書誌ID
000010869217
資料種別
図書
著者
Puppis, Gabriele.
出版者
Springer
出版年
c2010.
資料形態
ページ数・大きさ等
x, 206 p. : ill. ; 24 cm.
NDC
-
すべて見る

書店で探す

書誌情報

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

資料種別
図書
ISBN
9783642118807 (ISBN-13)
3642118801
ISSN(シリーズ)
0302-9743.
著者標目
出版年月日等
c2010.
出版年(W3CDTF)
2010