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: 15/02/2019 (2.899.606 monografie e 185.500 periodici)
host: opac01