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.
Θέματα:

ΒΚΠ - Πατρα: Reference Shelf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Reference Shelf
Ταξιθετικός Αριθμός: Π/Σ 004.35 NAT
Αντίγραφο 1 Στη βιβλιοθήκη