書誌事項

Logics and models of concurrent systems

edited by Krzysztof R. Apt

(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."

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ