国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
Specification and verification of concurrent systems
書誌情報:Specification and verification of concurrent systems
C. Rattray, ed.
London ; New York : Springer-Verlag , 1990.
viii, 612 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
Springer-Verlag Berlin
0
中央5階洋
548.16
Sp 3
00511036
利用可
一般
選択行を:
書誌詳細
刊年
1990
形態
viii, 612 p. : ill. ; 25 cm.
シリーズ名
Workshops in computing
注記
"Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
Includes bibliographical references and index.
出版国
イングランド
標題言語
英語
本文言語
英語
著者情報
Rattray, C. (Charles), 1938-
British Computer Society
BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : University of Stirling)
分類
LCC:QA76.58
DC20:004/.35
ISBN
3540195815(Springer-Verlag Berlin)
0387195815(Springer-Verlag New York : alk. paper)
件名
LCSH:Parallelprocessing(Electroniccomputers) -- Congresses.
:ComputersystemsOperatingsystemsConcurrentprogramming
番号
NBN : GB90-12550LCCN : 90009912
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。