Action refinement in process algebras

• Κύριος συγγραφέας: Aceto, Luca (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Cambridge University Press c1992
• Σειρά: Distinguished Dissertations in Computer Science
• Θέματα: COMPUTER SOFTWARE; Άλγεβρα
• Περιγραφή τεκμηρίου: βιβλιογραφία: σσ. 265-271 περιέχει ευρετήριο
• Φυσική περιγραφή: viii, 273p. fig.
• ISBN: 0 521 43111 5