Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^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
  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


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.