The [π]-calculus : a theory of mobile processes /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Sangiorgi, Davide (συγγραφέας.)
Άλλοι συγγραφείς: Walker, David, 1961- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, [England] ; New York : Cambridge University Press, 2001.
Θέματα:
LEADER 01198cam a22002534a 4500
001 12212484
003 GR-PaULI
005 20210929141855.0
008 001027s2001 enk b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 004_600000000000000_SAN  |7 0  |8 NFIC  |9 140069  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 004.6 SAN  |p 025000281469  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 91590  |d 91590 
010 |a  00052904  
020 |a 0521781779 
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 004.6  |2 23 
100 1 |a Sangiorgi, Davide  |9 126237  |e συγγραφέας. 
245 1 4 |a The [π]-calculus :  |b a theory of mobile processes /  |c Davide Sangiorgi, David Walker. 
260 |a Cambridge, [England] ;  |a New York :  |b Cambridge University Press,  |c 2001. 
300 |a xii, 580 σ. ;  |c 26 εκ. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |9 93143  |a Συστήματα κινητής επικοινωνίας 
700 1 |a Walker, David,  |d 1961-  |9 187751  |e συγγραφέας. 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2021-09