Prof. Marina Lenisa

Università degli Studi di Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Marina Lenisa

• Concurrent Programs – 3rd edition – Formal Methods For Security (Artificial Intelligence & Cybersecurity – sede di Udine, esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU)
• Peter O'Hearn – Resources, Concurrency and Local Reasoning – Formal Methods For Security (Artificial Intelligence & Cybersecurity – sede di Udine, esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU)
• Silberschatz – Sistemi operativi – Sistemi Operativi e Laboratorio II (Informatica – sede di Udine, Sede di UDINE, 2º anno · annuale · 6 CFU)
• Tanenbaum – I moderni sistemi operativi – Sistemi Operativi e Laboratorio II (Informatica – sede di Udine, Sede di UDINE, 2º anno · annuale · 6 CFU)
• Concurrent Programs – 3rd edition – Metodi Formali per la Sicurezza Informatica (Informatica – sede di Udine, Sede di UDINE, 1º anno · annuale · 9 CFU)
• Theoretical Computer Science, 375 (1-3), 2007 – Metodi Formali per la Sicurezza Informatica (Informatica – sede di Udine, Sede di UDINE, 1º anno · annuale · 9 CFU)
• Calculus and ProVerif – Metodi Formali per la Sicurezza Informatica (Informatica – sede di Udine, Sede di UDINE, 1º anno · annuale · 9 CFU)

Materie del prof. Marina Lenisa

Domande frequenti