Catalogo del Polo BNCF
Biblioteca Nazionale Centrale di Firenze
English
ricerca libera | ricerca base | ricerca avanzata | lista titoli | lista autori | lista soggetti | navigatore dewey | aiutoaiuto | crediti
Documento 1 di 1 vai al documento precedente   

Benini, Marco
Verification and analysis of programs in a constructive environment : dottorato di ricerca in informatica : ph.d. thesis / Marco Benini ; advisor: Mario Ornaghi ; Università degli studi di Milano, Dipartimento di informatica
[S.l.] : [S.n.], 2000.
1 v
BN 2001-23T.   
I. Ornaghi, Mario      II. Università degli studi <Milano>: Dipartimento di informatica   
004 (ed. 12.) - ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA
Cod. materia: K05B - INFORMATICA

Monografia - Tesi di dottorato - Pubbl. in: Italia - Lingua: italiano
Bibl. Nazionale Centrale Firenze
Gli utenti registrati possono accedere ai servizi della biblioteca scegliendo il numero di inventario del documento desiderato. Controllare modalità e orario dei servizi.

Collocazione:TDR 2000 000280
Inventario: CF980000280
record in formato unimarcxml esporta il risultatoesporta i risultati in un file
Opac Versione: 1.0  -  5/2/2006
Aggiornato al: 18/08/2010 (2.155.066 monografie e 155.708 periodici)