Logics for concurrency structure versus automata
Άλλοι συγγραφείς: | , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin
Springer
1996
|
Σειρά: | Lecture notes in computer science
1043 |
Θέματα: |
Φυσική περιγραφή: | xi, 266 p. fig. 24 cm. |
---|---|
Βιβλιογραφία: | Includes bibliographical references |
ISBN: | 3540609156 |