Search results

Records found: 2  
Your query: Author Sysno/Doc.kind = "^upol_us_auth 0152993 amg^"
  1. 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
    PRF000100
    Model checking

    book

  2. 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
    PRF100100
    Principles of model checking

    book



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.