Specification and verification of concurrent systems
著者
書誌事項
Specification and verification of concurrent systems
（Workshops in computing）
Springer-Verlag, c1990
- : Germany
- : U.S.
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Published in collaboration with the British Computer Society"
"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
Incudes bibliographical references and index