Libri UniversitariClarke – Model checking
Libro adottato a Trento, a.a. 2026/2027 · 1 canale
«Clarke – Model checking» è adottato per Multimedia Data Security dal prof. Giulia Boato (Mathematics – sede di Trento – Trento).
Clarke – Model checkingCerca su Amazon ›
Come lo indica il docente: Clarke, Grunberg, Long, "Model checking", MIT Press
Chi lo adotta
- Multimedia Data Security – Prof. Giulia Boato (canale unico)Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU
Programma e testi di ogni canale
Multimedia Data Security – Prof. Giulia Boato Canale unico
Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU
Il docente indica 1 testo (4 libri tra cui scegliere)
Baier – Principles of model checkingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Engineering – Enabling Digital Assets Security and Other Applications,…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
- appunti personali dello studente dalle lezioni
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.