Libri UniversitariProf. Francesco Dagnino
Università degli Studi di Genova · Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi · libri consigliati e cosa studiare, a.a. 2026/2027
Libri adottati dal prof. Francesco Dagnino
- J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and – Formal Methods (Computer science, 1º anno · 1º semestre · 9 CFU)
- Sorensen – Urzyczyn – Formal Methods (Computer science, 1º anno · 1º semestre · 9 CFU)
- Katoen – Baier – Formal Methods (Computer science, 1º anno · 1º semestre · 9 CFU)
- Ancona – Linguaggi di Programmazione – Linguaggi di Programmazione (Informatica, 2º anno · tutto l'anno (semestre non indicato) · 12 CFU)
Materie del prof. Francesco Dagnino
Formal Methods – con Prof. Arnaud Henri Paul Sangnier Canale unico
Corso di laurea: Computer science · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU
Il docente indica 3 testi · da studiare tutti
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs andCerca su Amazon ›Verificato 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.
Linguaggi di Programmazione – con Prof. Davide Ancona Canale unico
Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · tutto l'anno (semestre non indicato) · 12 CFU
Il docente indica 1 testo
Ancona – Linguaggi di ProgrammazioneCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Apri la scheda ufficiale ›Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Domande frequenti
Quali libri consiglia il prof. Francesco Dagnino per Formal Methods?
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and; Sorensen – Urzyczyn; Katoen – Baier
Quali libri consiglia il prof. Francesco Dagnino per Linguaggi di Programmazione?
Ancona – Linguaggi di Programmazione