Fundamentals Of System Verification – Camerino

Università degli Studi di Camerino · Scuola di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Luca Tesei Canale unico

Corso di laurea: Computer Science – sede di Camerino · Laurea magistrale (LM-18) · 1º anno · 2º semestre · Software Development and Technologies · 6 CFU / esame facoltativo · 6 CFU

Camerino · Scuola di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Computer Science – sede di Camerino · 1º anno · 2º semestre ›

Il docente indica 1 testo

Christel Baier – Principles of Model Checking Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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