Scheda: 1/1 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Gruska, Damas P. scheda di autorità ] | [
Titolo | A timed process description language based on CCS / D. P. Gruska, A. Maggiolo-Schettini |
Pubblicazione | Pisa: Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 30 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Gruska, Damas P. [
scheda di autorità
]
[Autore] Maggiolo Schettini, Andrea [ scheda di autorità ] Mancini, Luigi V. [ scheda di autorità ] |
Identificativo record | PIS0008392 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 9/11 | 000269233 | A TIMED | consultazione, prestito, fotoriproduzione Servizi |