Libri UniversitariCalculus and ProVerif
Libro adottato a Udine, a.a. 2026/2027 · 1 canale
«Calculus and ProVerif» è adottato per Metodi Formali per la Sicurezza Informatica dal prof. Marina Lenisa (Informatica – sede di Udine, Sede di UDINE – Udine).
Calculus and ProVerifCerca su Amazon ›
Come lo indica il docente: Calculus and ProVerif", 1 (1), 2016
Chi lo adotta
- Metodi Formali per la Sicurezza Informatica – Prof. Marina Lenisa (canale unico)Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU
Programma e testi di ogni canale
Metodi Formali per la Sicurezza Informatica – Prof. Marina Lenisa Canale unico
Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU
Il docente indica 3 testi · da studiare tutti
Theoretical Computer Science, 375 (1-3), 2007Cerca su Amazon ›Verificato 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.