Linguaggi concorrenti e mobili (2002/2003)

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica
  5. Insegnamenti

Corso a esaurimento

Codice insegnamento
4S00058
Docente
Massimo Merro
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
2° dal 13-gen-2003 al 14-mar-2003.
Pagina Web
http://profs.sci.univr.it/~merro
Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Robin Milner Communicating and Mobile Systems: the pi-calculus (Edizione 1) Cambridge University Press 1999 0521658691

Materiale didattico

Documenti