B. Berard, M. Bidoit, A. Finkel, F. Laroussinie,

Libro adottato a Tor Vergata, a.a. 2025/2026 · 1 canale

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie,Vai su Amazon ›

Come lo indica il docente: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen-Systems and Software Verification_ Model-Checking Techniques and Tools-Springer (2001) ed edizioni successive

Chi lo adotta

Metodi di Verifica di Sistemi – Prof. Benedetto Intrigila (canale unico) a.a. 2025/2026Informatica · Laurea magistrale (LM-18) · esame facoltativo

Programma e testi di ogni canale

Metodi di Verifica di Sistemi – Prof. Benedetto Intrigila Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · esame facoltativo

Tor Vergata · Scienze Matematiche Fisiche e Naturali · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Libri consigliati nell'a.a. 2025/2026

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie,questo libroVai su Amazon ›

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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