Libri UniversitariJ.Y. Girard, Y. Lafont, P. Taylor. *Proofs and
Libro adottato a Genova, a.a. 2026/2027 · 1 canale
«J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and» è adottato per Formal Methods dai docenti Francesco Dagnino e Arnaud Henri Paul Sangnier (Computer science – Genova).
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs andCerca su Amazon ›
Come lo indica il docente: J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and Types*. Cambridge University Press, 1989
Chi lo adotta
- Formal Methods – Prof. Francesco Dagnino, Prof. Arnaud Henri Paul Sangnier (canale unico)Computer science · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU
Programma e testi di ogni canale
Formal Methods – 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
Il docente indica 3 testi · da studiare tutti
J.Y. Girard, Y. Lafont, P. Taylor. *Proofs andquesto libroCerca 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.