Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- matematica:lp:start [06/05/2025 alle 15:07 (6 settimane fa)] – [Materiale (incluse slides)] Roberta Gori
+++ matematica:lp:start [22/05/2025 alle 13:46 (3 settimane fa)] (versione attuale) – [Materiale (incluse slides)] Roberta Gori
@@ Linea 90: / Linea 90: @@
 {{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 16}}
-{{ :matematica:lp:prontuario.pdf |Prontuario}}
 {{ :matematica:lp:testo-2018-04-05-copy-copy.pdf | testo}}
@@ Linea 111: / Linea 110: @@
 {{ :matematica:lp:27_-_ccs_guarded_copy.pdf |Lezione 23}}
+{{ :matematica:lp:28_-_ccs_abstract.pdf | Lezione 24}}
+{{ :matematica:lp:29_-_ccs_bisimulation_copy.pdf |Lezione 25}}
+{{ :matematica:lp:30-_ccs_bis_as_fix.pdf |Lezione 26}}
+{{ :matematica:lp:31_-_hml_copy.pdf |Lezione 27}}
+{{ :matematica:lp:32-_weak_copy.pdf |Lezione 28}}
+{{ :matematica:lp:33-_ccs_at_work_copy.pdf |Lezione 29}}
+{{ :matematica:lp:33-_ccs_at_work.pdf |Lezione 30}}
+{{ :matematica:lp:esercizi.pdf |Esercitazione}}
+{{ :matematica:lp:prontuario.pdf |Prontuario}}
+{{ :matematica:lp:testi.pdf | Testi di esame}}