|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISANNIORMS0070376 |
|
|
Autore |
Milner, Robin <1934-2010 > |
|
|
Titolo |
Communicating and mobile systems: the <p greco>-calculus / Robin Milner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge [etc.], : Cambridge university press, 1999 |
|
|
|
|
|
|
|
ISBN |
|
0521643201 |
0521658691 |
9780521658690 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
XII, 161 p. : ill. ; 23 cm |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Reti di elaboratori |
Elaborazione elettronica - Modelli matematici |
|
|
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliografia: P. 157-158. |
|
|
|
|
|