Semantics of parallelism : non-interleaving representation of behaviour /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Shields, Michael W. (Michael William), 1950- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London ; New York : Springer, c1997.
Θέματα:
Περιγραφή
Φυσική περιγραφή:xiii, 473 σ. : εικ. ; 24 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:3540760598 (χαρτόδετο)