Logics and models of concurrent systems
著者
書誌事項
Logics and models of concurrent systems
(NATO ASI series, ser. F . Computer and systems sciences ; v. 13)
Springer-Verlag, c1985
- : Germany
- : U.S.
大学図書館所蔵 件 / 全27件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso
"Published in cooperation with NATO Scientific Affairs Division."