Sfoglia per Relatore

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


Mostrati risultati da 4 a 6 di 6
Tipo Anno Accademico Titolo Autore file(s)
Laurea Triennale 2019/2020 Model checking nel sistema Maude DI SABATINO, LUCA
Laurea Magistrale 2018/2019 Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software CIAVARRO, CRISTINA
Laurea Triennale 2019/2020 TTT2: un tool per la terminazione di sistemi di riscrittura FORTUNATO, FEDERICO
Legenda icone

  •  File disponibili sulla rete interna
  •  File non disponibili
  •  File sotto embargo