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
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud