Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 2 (2)

Ricerca: Collezione = Roma » Lingua = inglese » Autore = de nicola, rocco
Risultati: 1-2 di 2
 
| | |
 
De Nicola, Rocco
A functorial assessment of bisimulations / Rocco De Nicola, Anna Labella
Roma : Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992
Monografia - Testo a stampa [BVE0138583]
De Nicola, Rocco
Three logics for branching bisimulation / Rocco De Nicola, Frits Vaandrager
Roma : Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992
Monografia - Testo a stampa [BVE0138589]
Filtri
  • Livello bibliografico
    • monografia (2)
  • Tipo di materiale
    • testo a stampa (2)
  • Biblioteca
    • Biblioteca universitaria di Pisa (2)
  • Autore
  • Collezione
    • dipartimento di scienze dell'informazione, universita degli studi di roma la sapienza (2)
    • rapporto di ricerca (2)
    • universita degli studi di roma la sapienza (2)
  • Luogo di pubblicazione
    • roma (2)
  • Editore
    • dipartimento di scienze dell'informazione, universita degli studi la sapienza (2)
  • Anno di pubblicazione
    • 1992 (2)
  • Lingua
    • inglese (2)
  • Paese
    • italia (2)
| | |
Risultati: 1-2 di 2