didattica:ay2122:englishb2:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
didattica:ay2122:englishb2:main [2022/03/02 12:23] – [Exams] lucadidattica:ay2122:englishb2:main [2022/03/09 17:26] (current) – luca
Line 56: Line 56:
 ==== Textbooks ==== ==== Textbooks ====
  
-  * Christel Baier, Joost-Pieter Katoen, “Principles of Model Checking”, The MIT Press, 2008.+  * Christel Baier, Joost-Pieter Katoen, "Principles of Model Checking", The MIT Press, 2008. 
 +  * Gerard J. Holzmann, "The SPIN model checker: Primer and Reference Manual", Addison-Wesley Professional, 2003.
  
 **Reference books** **Reference books**
  • didattica/ay2122/englishb2/main.1646220191.txt.gz
  • Last modified: 2022/03/02 12:23
  • by luca