国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> Semantics for concurrency : proceedings of the International BCS-FACS Workshop
書誌情報:Semantics for concurrency : proceedings of the International BCS-FACS Workshop
sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
[editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
London ; New York : Springer-Verlag , c1990.
viii, 346 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
alk. paper
0
中央5階洋
548.164
Se 51
00514950
利用可
一般
選択行を:
書誌詳細
刊年
1990
形態
viii, 346 p. : ill. ; 25 cm.
シリーズ名
Workshops in computing
注記
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
出版国
イングランド
標題言語
英語
本文言語
英語
著者情報
International BCS-FACS Workshop (1990 : University of Leicester)
Kwiatkowska, M. Z. (Marta Z.), 1957-
Shields, M. W. (Michael William), 1950-
Thomas, R. M. (Richard Monro), 1952-
S.E.R.C. "Logic for IT."
British Computer Society
分類
LCC:QA76.642
DC20:005.2
ISBN
0387196250(alk. paper)
件名
LCSH:Parallelprogramming(Computerscience) -- Congresses.
LCSH:Programminglanguages(Electroniccomputers) -- Semantics -- Congresses.
番号
LCCN : 90010064
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。