magistraleinformatica:mpp:start
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisioneRevisione precedente | |||
| magistraleinformatica:mpp:start [01/12/2025 alle 13:41 (6 ore fa)] – [Lectures (2nd part)] Roberto Bruni | magistraleinformatica:mpp:start [01/12/2025 alle 13:42 (6 ore fa)] (versione attuale) – [Lectures (2nd part)] Roberto Bruni | ||
|---|---|---|---|
| Linea 146: | Linea 146: | ||
| | 31 | Thu | 04/12 | 09:00-11:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | | 31 | Thu | 04/12 | 09:00-11:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | ||
| | 32 | Fri | 05/12 | 16:00-18:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | | 32 | Fri | 05/12 | 16:00-18:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | ||
| - | | 33 | Tue | 09/12 | 16:00-18:00 | C1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | + | | 33 | Tue | 09/12 | 16:00-18:00 | C1 | **Prof. Bonchi**\\ KAT:\\ //Reasoning about IMP programs// | | |
| - | | 34 | Thu | 11/12 | 09:00-11:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | + | | 34 | Thu | 11/12 | 09:00-11:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Reasoning about IMP programs// | | |
| - | | 35 | Fri | 12/12 | 16:00-18:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Kleene Algebras with Tests// | | | + | | 35 | Fri | 12/12 | 16:00-18:00 | L1 | **Prof. Bonchi**\\ KAT:\\ //Reasoning about IMP programs// | | |
| | End | | | | | | | | | End | | | | | | | | ||
magistraleinformatica/mpp/start.txt · Ultima modifica: 01/12/2025 alle 13:42 (6 ore fa) da Roberto Bruni