Κανονική προβολή Προβολή MARC Προβολή ISBD

Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship - Cambridge Cambridge University Press c 1991 - x,267p. - Cambridge Tracts in Theoretical Computer Science 23 .

includes bibl. references

ISBN: 0 521 40044 9

Subjects--Topical Terms:
COMPUTER SOFTWARE
Λογική, Συμβολική και μαθηματική