Libri UniversitariFundamentals Of System Verification – prof. Luca Tesei
Computer Science – sede di Camerino · Università degli Studi di Camerino · 1º anno · 2º semestre · Software Development and Technologies · 6 CFU · canale unico
Libri del canale
Fundamentals Of System Verification 6 CFU
Il docente indica 1 testo
Christel Baier – Principles of Model CheckingIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Apri nel catalogo: Computer Science – sede di Camerino, 1º anno, tutte le materie e i canali ›
Testi d'esame di Fundamentals Of System Verification del prof. Luca Tesei, canale unico, corso di laurea in Computer Science – sede di Camerino (Laurea magistrale (LM-18)), Università degli Studi di Camerino, 1º anno · 2º semestre · Software Development and Technologies · 6 CFU, a.a. 2026/2027. Libri adottati: Christel Baier – Principles of Model Checking.
Altre materie del prof. Tesei
- Linguaggi e Compilatori · Informatica – sede di Camerino · 3º anno · 1º semestre · 6 CFU
- Linguaggi e Compilatori · Informatica per la Comunicazione Digitale – sede di Camerino · esame facoltativo · 6 CFU