Logics for concurrency structure versus automata

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Moller, Faron 1962- (Επιμελητής έκδοσης), Birtwistle, Graham (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1996
Σειρά:Lecture notes in computer science 1043
Θέματα:

ΒΚΠ - Πατρα: BSC

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