Libri UniversitariFormal Methods For Security – prof. Marina Lenisa
Artificial Intelligence & Cybersecurity – sede di Udine · Università degli Studi di Udine · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU · canale unico
Libri del canale
Formal Methods For Security 6 CFU
Il docente indica 2 testi · da studiare tutti
Peter O'Hearn – Resources, Concurrency and Local ReasoningVerificato 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 Formal Methods For Security del prof. Marina Lenisa, canale unico, corso di laurea in Artificial Intelligence & Cybersecurity – sede di Udine (Laurea magistrale (LM-18)), Università degli Studi di Udine, esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU, a.a. 2026/2027. Libri adottati: Concurrent Programs – 3rd edition; Peter O'Hearn – Resources, Concurrency and Local Reasoning.
Altre materie del prof. Lenisa
- Sistemi Operativi e Laboratorio II · Informatica – sede di Udine, Sede di UDINE · 2º anno · annuale · 6 CFU
- Metodi Formali per la Sicurezza Informatica · Informatica – sede di Udine, Sede di UDINE · 1º anno · annuale · 9 CFU