Abstract model checking and strong preservation / coordinatore: Antonio Lanteri ; dottorando: Francesco Tapparo
2003.
1 v.
In testa al front.: Università degli studi di Milano, Dipartimento di matematica, dottorato di ricerca in matematica, 14. ciclo
BN 2005-527T
MAT/05 - Analisi matematica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0006870
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980401710 TDR 2004 01710 Lettura tesi in sede