Formal Methods – Genova

Università degli Studi di Genova · Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Francesco Dagnino, Prof. Arnaud Henri Paul Sangnier Canale unico

Corso di laurea: Computer science · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU

Genova · Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi · 9 CFU · apri nel catalogo · Computer science · 1º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Sorensen – Urzyczyn Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Katoen – Baier Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Bacheca del docente: cosa indica di studiare

Materiale fornito dai docenti

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Formal Methods negli altri atenei

Formal Methods – L'Aquila