国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> Finite representations of CCS and TCSP programs by automata and Petri nets
書誌情報:Finite representations of CCS and TCSP programs by automata and Petri nets
Dirk Taubner.
Berlin ; New York : Springer-Verlag , c1989.
x, 168 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
U.S.
0
中央5階洋
007.1
L 49
369
00511762
利用可
一般
選択行を:
書誌詳細
刊年
1989
形態
x, 168 p. : ill. ; 25 cm.
シリーズ名
Lecture notes in computer science ; 369
注記
Includes bibliographical references (p. [159]-164).
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Taubner, Dirk, 1959-
分類
LCC:QA76.9.D5
DC20:004/.36
ISBN
0387515259(U.S.)
件名
LCSH:Electronicdataprocessing -- Distributedprocessing.
LCSH:Petrinets.
LCSH:Programminglanguages(Electroniccomputers)
番号
LCCN : 89021604
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。