Libri UniversitariMetodi Formali per la Sicurezza Informatica – prof. Marina Lenisa
Informatica – sede di Udine, Sede di UDINE · Università degli Studi di Udine · 1º anno · annuale · 9 CFU · canale unico
Libri del canale
Metodi Formali per la Sicurezza Informatica 9 CFU
Il docente indica 3 testi · da studiare tutti
Theoretical Computer Science, 375 (1-3), 2007Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Apt – Verification of Sequential and Concurrent ProgramsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Testi d'esame di Metodi Formali per la Sicurezza Informatica del prof. Marina Lenisa, canale unico, corso di laurea in Informatica – sede di Udine, Sede di UDINE (Laurea magistrale (LM-18)), Università degli Studi di Udine, 1º anno · annuale · 9 CFU, a.a. 2026/2027. Libri adottati: Concurrent Programs – 3rd edition; Theoretical Computer Science, 375 (1-3), 2007; Calculus and ProVerif.
Altre materie del prof. Lenisa
- Formal Methods For Security · Artificial Intelligence & Cybersecurity – sede di Udine · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU
- Sistemi Operativi e Laboratorio II · Informatica – sede di Udine, Sede di UDINE · 2º anno · annuale · 6 CFU