Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.

著者: British Computer Society. Special Interest Group in the Formal Aspects of Computing Science.ほか

資料に関する注記

一般注記：: Papers.(Workshops in Computing)Index term: semantics ; BCS ; concurrency....

書店で探す

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

資料種別: 図書
ISBN: 3540196250 (pbk)
0387196250 (U.S.)
タイトル: Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.
著者標目: British Computer Society. Special Interest Group in the Formal Aspects of Computing Science.
Science and Engineering Research Council.
出版事項: Berlin : Springer-Verlag
出版年月日等: 1990.
出版年（W3CDTF）: 1990
数量: v.
並列タイトル等: (Workshops in Computing)
semantics ; BCS ; concurrency
NDLC: M17
M151
一般注記: Papers.
(Workshops in Computing)
Index term: semantics ; BCS ; concurrency.
BL shelfmark: 90/23436 Semantics.
所蔵機関: 国立国会図書館
請求記号: M17-91-0708
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003481934
http://id.ndl.go.jp/bib/000003481934
UKMARC番号: G01428147
整理区分コード: 215