福岡大学蔵書検索

検索結果一覧に戻る

Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner
(Lecture notes in computer science ; 369)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1989
形態	x, 168 p. : ill. ; 25 cm
著者標目	Taubner, Dirk, 1959-
件　名	LCSH:Electronic data processing -- Distributed processing 全ての件名で検索 LCSH:Petri nets LCSH:Programming languages (Electronic computers)
分　類	NDC:549.92 DDC:004/.36 LCC:QA76.9.D5
書誌ID	LT00285511

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/369	0108171550109	9783540515258				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Bibliography: p. [159]-164 Includes index
NCID	BA07251013
巻冊次	ISBN:3540515259

目次／あらすじ