Libri UniversitariProf. Arnaud Henri Paul Sangnier
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. Arnaud Henri Paul Sangnier
- 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)
Materie del prof. Arnaud Henri Paul Sangnier
Formal Methods – con Prof. Francesco Dagnino 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.
Sistemi di Elaborazione e Trasmissione dell'Informazione – con Prof. Matteo Dell'Amico, Prof. Daniele D'Agostino Canale unico
Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 1º semestre · 12 CFU
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. Arnaud Henri Paul Sangnier per Formal Methods?
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and; Sorensen – Urzyczyn; Katoen – Baier