OPAC

検索結果一覧に戻る

Linear time, branching time, and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg (eds.)
(Lecture notes in computer science. ; 354)

データ種別	図書
出版者	Berlin ; New York : Springer-Verlag
出版年	c1989
大きさ	viii, 713 p. : ill. ; 25 cm. --

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.5:L523:1989		038751080X	890113215				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

一般注記	"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref
著者標目	School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
件　名	LCSH:Bakker, J. W. de 1939- (Jacobus Willem) LCSH:Roever, W.-P. de LCSH:Rozenberg, Grzegorz LCSH:Parallel processing (Electronic computers) LCSH:Electronic data processing -- Distributed processing 全ての件名で検索
分　類	LCC:QA76.5 DC20:004/.35
巻冊次	ISBN:038751080X
ISBN	038751080X

目次／あらすじ