Libri UniversitariPeter O'Hearn – Resources, Concurrency and Local Reasoning
Libro adottato a Udine, a.a. 2026/2027 · 1 canale
«Peter O'Hearn – Resources, Concurrency and Local Reasoning» è adottato per Formal Methods For Security dal prof. Marina Lenisa (Artificial Intelligence & Cybersecurity – sede di Udine – Udine).
Peter O'Hearn – Resources, Concurrency and Local ReasoningCerca su Amazon ›
Come lo indica il docente: Peter O'Hearn, "Resources, Concurrency and Local Reasoning", Theoretical Computer Science, 375 (1-3), 2007
Chi lo adotta
- Formal Methods For Security – Prof. Marina Lenisa (canale unico)Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU
Programma e testi di ogni canale
Formal Methods For Security – 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
Il docente indica 2 testi · da studiare tutti
Peter O'Hearn – Resources, Concurrency and Local Reasoningquesto libroCerca 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.