Logics for concurrency structure versus automata

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Moller, Faron 1962- (Επιμελητής έκδοσης), Birtwistle, Graham (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1996
Σειρά:Lecture notes in computer science 1043
Θέματα:
Περιγραφή
Φυσική περιγραφή:xi, 266 p. fig. 24 cm.
Βιβλιογραφία:Includes bibliographical references
ISBN:3540609156