LEADER 01528nam0 22003613i 450 
001 AQ10003412
005 20251003044040.0
010   $a0131149849
010   $a0131150073$bPbk.
100   $a20080414d1989    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aCommunication and concurrency$fRobin Milner
210   $aNew York [etc.]$cPrentice Hall$d1989
215   $aXI, 260 p.$d24 cm.
225 | $aPrentice-Hall international series in computer science
410  0$1001VEA0014271$12001 $aPrentice-Hall international series in computer science
606   $aLinguaggi formali$2FIR$3CFIC135530$9I
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
696   $aLinguaggi formalizzati
699   $aLinguaggi formali$yLinguaggi formalizzati
700  1$aMilner$b, Robin$f <1934-2010 >$3AQ1V001787$4070$0770263
801  3$aIT$bIT-000000$c20080414
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aAQ10003412
950  0$aBiblioteca Centralizzata di Ateneo$c1 v. in due copie$d 01SALA DING 511.3                   MIL.co$e 0102 0000014155  VMA A4                    1 v.$fY $h19941020$i19941020$c1 v. in due copie$d 01SALA DING 511.3                   MIL.co$e 0102 0000009005  VMA A4(bis                1 v. (2. copia)$fY $h19941020$i20131023
977   $a 01
996   $aCommunication and concurrency$91571130
997   $aUNISANNIO