Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship

• Κύριος συγγραφέας: Olderog, E.-R (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press c 1991
• Σειρά: Cambridge Tracts in Theoretical Computer Science 23
• Θέματα: COMPUTER SOFTWARE; Λογική, Συμβολική και μαθηματική
• Περιγραφή τεκμηρίου: includes bibl. references
• Φυσική περιγραφή: x,267p.
• ISBN: 0 521 40044 9