Skip to main content
If you continue browsing this website, you agree to our policies:
  • Condizioni di utilizzo e trattamento dei dati
Continue
x
If you continue browsing this website, you agree to our policies:
  • Condizioni di utilizzo e trattamento dei dati
Continue
x
e-Learning - UNIMIB
  • Home
  • 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 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. Materiale per la lezione del 12 dicembre
Unità didattica Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Course summary SYLLABUS

Materiale per la lezione del 12 dicembre

Completion requirements

Attenzione: il contenuto è provvisorio; ci sono ripetizioni e contenuti in ordine diverso rispetto alla lezione. I file saranno aggiornati il prima possibile.

    • mc-l2.pdf mc-l2.pdf
    • mc-l3.pdf mc-l3.pdf
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