Logics and models of concurrent systems /
Logics and models of concurrent systems /
edited by Krzysztof R. Apt.
- Berlin ; New York : Springer-Verlag, c1985.
- viii, 498 σ. : εικ. ; 25 εκ.
- NATO ASI series. Series F, Computer and system sciences ; 13. .
- NATO ASI series. Series F, Computer and systems sciences 13. .
"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.
0387151818
Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
004.35
"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.
0387151818
Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
004.35