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