Katoen – Baier

Libro adottato a Genova, a.a. 2026/2027 · 1 canale

«Katoen – Baier» è adottato per Formal Methods dai docenti Francesco Dagnino e Arnaud Henri Paul Sangnier (Computer science – Genova).

Come lo indica il docente: J.-P. Katoen, C. Baier. *Principles of Model-Checking*. The MIT Press. 2008

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

Si studia insieme a

• J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and
• Sorensen – Urzyczyn