Scheda: 1/1 |
|
Livello bibliografico |
Monografia
|
Tipo di materiale |
Testo a stampa
|
Autore principale
| De Nicola, Rocco [
scheda di autorità
] |
Titolo
| A functorial assessment of bisimulations / Rocco De Nicola, Anna Labella |
Pubblicazione
| Roma : Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992
|
Descrizione fisica
| 25 p. ; 21 cm |
Collezione
| Rapporto di ricerca / Dipartimento di scienze dell'informazione, Università degli studi di Roma La Sapienza ; 9206
(ID Collana : BVE0138584)
|
Lingua di pubblicazione
| eng |
Paese di pubblicazione
| it |
Nomi
| [Autore] De Nicola, Rocco [
scheda di autorità
]
[Autore] Labella, Anna <informatica> |
Identificativo record
| BVE0138583 |