Scheda: 1/1 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Bodei, Chiara |
Titolo | *Security issues in process calculi / Chiara Bodei. |
Pubblicazione | Pisa : Università, Dipartimento di Informatica : SEU, 2000 |
Descrizione fisica | XVI, 162 p. ; 21 cm. |
Lingua di pubblicazione | eng |
Paese di pubblicazione | IT |
Note | Sul front. :TD-2/00
|
Nomi | [Autore] Bodei, Chiara
[Autore] Università degli Studi <Pisa> : Dipartimento di Informatica |
Identificativo record | BP00017486 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | Pubbl. Univ. Pisa 19 ter. 77 | 473952 |