Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Scheda Dettagliata

Ricerca: Titoli collegati = Pisa. >> Tipo di materiale = testo a stampa >> Collezione = tr >> Anno di pubblicazione = 1991 >> Lingua = inglese
←Ritorna alla lista dei risultati
|« | « precedente |  successivo» | »|
 

Scheda: 16/27
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Danelutto, Marco [ scheda di autorità ]
Titolo TLwT : a temporal logic for concurrent programs / M. Danelutto, A. Masini
Pubblicazione Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Descrizione fisica 37 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] Danelutto, Marco [ scheda di autorità ]
Masini, Andrea <1958- > [ scheda di autorità ]
Identificativo record PIS0008414
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 27/91 000270011 TLWT  consultazione, prestito, fotoriproduzione Servizi


|« | « precedente |  successivo» | »|