Sfoglia per Serie  THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES

Opzioni
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 1 a 1 di 1
Titolo Tipologia Data di pubblicazione Autore(i) File
From Dynamic State Machines to Promela 2.1 Contributo in volume (Capitolo o Saggio) 2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Mostrati risultati da 1 a 1 di 1
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile