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
Θέματα:
LEADER 01492cam a22002893u 4500
001 10103728
003 upatras
005 20210303080441.0
008 991022s eng
020 |a 0 521 40044 9 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Nets, Terms and Formulas  |b Tree views of Concurrent Processes and Their Relationship 
260 |a Cambridge  |b Cambridge University Press  |c c 1991 
300 |a x,267p. 
490 0 |a Cambridge Tracts in Theoretical Computer Science  |v 23 
500 |a includes bibl. references 
650 4 |a COMPUTER SOFTWARE  |9 24488 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |a Olderog, E.-R  |4 aut  |9 120377 
760 0 |a Cambridge tracts in theoretical computer science  |g 23 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 511.3 OLD  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 511.3 OLD  |t 2 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_OLD  |7 0  |8 NFIC  |9 132191  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 511.3 OLD  |p 025000284182  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_OLD  |7 0  |8 NFIC  |9 132192  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 511.3 OLD  |p 025000284183  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 86637  |d 86637