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: 07/08/2020 (2.958.395 monografie e 186.100 periodici)
host: opac02