Search results
- Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors. Cham, Switzerland : Springer, [2018] ©2018 . xxiv, 1210 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- 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