Search results
- Principles of model checking / Christel Baier, Joost-Pieter Katoen. Cambridge, Massachusetts ; London : MIT Press, [2008] ©2008 . xvii, 975 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0