Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti

  1. Home

Proposta di tesi

Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

Tesi di ricerca di base sull'estensione a spazi metrici e di Hilbert dell'interpretazione astratta standard

Offerta formativa

Condividi