Semantics of parallelism : non-interleaving representation of behaviour /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London ; New York :
Springer,
c1997.
|
Θέματα: |
Φυσική περιγραφή: | xiii, 473 σ. : εικ. ; 24 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
ISBN: | 3540760598 (χαρτόδετο) |