Search results
- Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Cambridge, Massachusetts ; London : The MIT Press, [1999] ©1999 . xiv, 314 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - 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