Vai al contenuto principale
Se prosegui nella navigazione del sito, ne accetti le politiche:
  • Condizioni di utilizzo e trattamento dei dati
Prosegui
x
e-Learning - UNIMIB
  • Home
  • Calendario
  • My Media
  • Altro
Ascolta questa pagina con ReadSpeaker
Italiano ‎(it)‎
English ‎(en)‎ Italiano ‎(it)‎
Ospite
 Login
e-Learning - UNIMIB
Home Calendario My Media
Espandi tutto Minimizza tutto
Percorso della pagina
  1. Area di Scienze
  2. Corso di Laurea Magistrale
  3. Informatica [F1802Q - F1801Q]
  4. Insegnamenti
  5. A.A. 2022-2023
  6. 1° anno
  1. Modelli della Concorrenza
  2. Logiche temporali e model-checking
  3. Materiale per la lezione del 12 dicembre
Unità didattica Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Descrizione del corso SYLLABUS

Materiale per la lezione del 12 dicembre

Aggregazione dei criteri

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
Ospite (Login)
Politiche
Ottieni l'app mobile
Powered by Moodle
© 2025 Università degli Studi di Milano-Bicocca
  • Privacy
  • Accessibilità
  • Statistiche