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; Λογική, Συμβολική και μαθηματική