Skip to main content
If you continue browsing this website, you agree to our policies:
  • Condizioni di utilizzo e trattamento dei dati
Continue
x
e-Learning - UNIMIB
  • Home
  • Calendar
  • My Media
  • More
Listen to this page using ReadSpeaker
English ‎(en)‎
English ‎(en)‎ Italiano ‎(it)‎
You are currently using guest access
 Log in
e-Learning - UNIMIB
Home Calendar My Media
Expand all Collapse all
Percorso della pagina
  1. Science
  2. Master Degree
  3. Informatica [F1802Q - F1801Q]
  4. Courses
  5. A.A. 2022-2023
  6. 1st year
  1. Concurrent Models
  2. Logiche temporali e model-checking
  3. Lezione del 9 gennaio 2023 - registrazione, seconda parte
Unità didattica Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Course summary SYLLABUS

Lezione del 9 gennaio 2023 - registrazione, seconda parte

Completion requirements

15:30-17:30, aula U4-02

Il livello della registrazione audio è molto basso; provate a regolare al massimo il volume di uscita.

You are currently using guest access (Log in)
Policies
Get the mobile app
Powered by Moodle
© 2025 Università degli Studi di Milano-Bicocca
  • Privacy policy
  • Accessibility
  • Statistics