Dottorando
Dipartimento di Informatica - Scienza e Ingegneria
Tutor didattico
Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Parole chiave: Lambda calcolo Linguaggi di programmazione quantistici Semantica operazionale Verifica di risorse
Al momento non sono presenti avvisi.
Accedi tramite login per gestire tutti i contenuti del sito.
