Catalogo delle Biblioteca Universitaria di Pisa
                   
Ricerca:  Collana = Ricerca  >> Lingua = inglese



Scheda: 127/129		


Livello bibliografico: Monografia

Tipo di materiale: Testo a stampa

Autore principale:
	 De Nicola, Rocco
Titolo:
	 Three logics for branching bisimulation / Rocco De Nicola, Frits Vaandrager
Editore,distributore, ecc.:
	 Roma : Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992
        
Descrizione fisica:
	 34 p. ; 21 cm
Collezione:
	Rapporto di ricerca / Dipartimento di scienze dell'informazione, Università degli studi di Roma La Sapienza ; 9207
Lingua di pubblicazione:
	INGLESE
Paese di pubblicazione:
	ITALIA
Nomi:
	[Autore]  De Nicola, Rocco
        [Autore]  Vaandrager, Frits
Identificativo record:
	BVE0138589

Localizzazioni/ collocazioni/ consistenza:
						
						
							Biblioteca universitaria -  R1MISC.B    486. 7 -  R1   0002717685  OPB FP                     - A  - 20180517 - 20180517