Libri UniversitariFormal Methods – prof. Francesco Dagnino, Arnaud Henri Paul Sangnier
Computer science · Università degli Studi di Genova · 1º anno · 1º semestre · 9 CFU · canale unico
Libri del canale
Formal Methods 9 CFU
Il docente indica 3 testi · da studiare tutti
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs andVerificato sulla scheda ufficiale il 04/10/2026
Bacheca del docente: cosa indica di studiare
- Materiale fornito dai docenti
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Apri nel catalogo: Computer science, 1º anno, tutte le materie e i canali ›
Testi d'esame di Formal Methods del prof. Francesco Dagnino, Arnaud Henri Paul Sangnier, canale unico, corso di laurea in Computer science (Laurea magistrale (LM-18)), Università degli Studi di Genova, 1º anno · 1º semestre · 9 CFU, a.a. 2026/2027. Libri adottati: J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and; Sorensen – Urzyczyn; Katoen – Baier.
Altre materie del prof. Dagnino, Sangnier
- Linguaggi di Programmazione · Informatica · 2º anno · tutto l'anno (semestre non indicato) · 12 CFU