01528nam0 22003613i 450 AQ1000341220251003044040.001311498490131150073Pbk.20080414d1989 ||||0itac50 baengusz01i xxxe z01nCommunication and concurrencyRobin MilnerNew York [etc.]Prentice Hall1989XI, 260 p.24 cm.Prentice-Hall international series in computer science001VEA00142712001 Prentice-Hall international series in computer scienceLinguaggi formaliFIRCFIC135530I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Linguaggi formalizzatiLinguaggi formaliLinguaggi formalizzatiMilner, Robin <1934-2010 >AQ1V001787070770263ITIT-00000020080414IT-BN0095 NAP 01SALA DING $AQ10003412Biblioteca Centralizzata di Ateneo1 v. in due copie 01SALA DING 511.3 MIL.co 0102 0000014155 VMA A4 1 v.Y 19941020199410201 v. in due copie 01SALA DING 511.3 MIL.co 0102 0000009005 VMA A4(bis 1 v. (2. copia)Y 1994102020131023 01Communication and concurrency1571130UNISANNIO