Semantics of parallelism : non-interleaving representation of behaviour /

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

ΒΚΠ - Πατρα: BSC

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