Automater och logik i modellering av IT-system
5 hp
Litteraturlista, Grundnivå, 1DL500
Det finns en senare version av litteraturlistan.
Huvudgrupp 1
- Baier, Christel.; Katoen, Joost-Pieter., Principles of model checking, Cambridge, Mass., The MIT Press, cop. 2008