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 book
- Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke. New York : Springer, [2001] ©2001 . xix, 331 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book