Logics and models of concurrent systems /

• Συλλογικό Έργο: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
• Άλλοι συγγραφείς: Apt, Krzysztof R., 1949-
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer-Verlag, c1985.
• Σειρά: NATO ASI series. 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.
• Φυσική περιγραφή: viii, 498 σ. : εικ. ; 25 εκ.
• ISBN: 0387151818