Formal Methods For Security – Udine

Università degli Studi di Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Marina Lenisa Canale unico

Corso di laurea: Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno ›

Il docente indica 2 testi · da studiare tutti

Concurrent Programs – 3rd edition Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Peter O'Hearn – Resources, Concurrency and Local Reasoning Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Apt – Verification of Sequential and Concurrent Programs Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Aceto – Reactive Systems Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.