Logics and models of concurrent systems

Web Site CiNii Available at 28 libraries

Bibliographic Information

Title
"Logics and models of concurrent systems"
Statement of Responsibility
edited by Krzysztof R. Apt
Publisher
  • Springer-Verlag
Publication Year
  • c1985
Book size
25 cm
Series Name / No
  • : Germany
  • : U.S.

Search this Book/Journal

Notes

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

Related Books

See more

Details 詳細情報について

Back to top