Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
didattica:ay2122:englishb2:main [2022/03/02 12:22] – [Material] luca | didattica:ay2122:englishb2:main [2022/03/09 17:26] (current) – luca | ||
---|---|---|---|
Line 56: | Line 56: | ||
==== Textbooks ==== | ==== Textbooks ==== | ||
- | * Christel Baier, Joost-Pieter Katoen, | + | * Christel Baier, Joost-Pieter Katoen, |
+ | * Gerard J. Holzmann, "The SPIN model checker: Primer and Reference Manual", | ||
**Reference books** | **Reference books** | ||
Line 102: | Line 103: | ||
**Exam Dates A.Y. 2021/ | **Exam Dates A.Y. 2021/ | ||
- | Dates of Partial Exams " | + | Dates of Partial Exams " |
**Exam rules** | **Exam rules** |