Košík

  Odznačit vybrané:   0

  1.  

      Půjčit
    Extending temporal logic with omega-automata : the automata theoretic techniques behing PSL model checking / Nir Piterman.    Saarbrücken : LAP LAMBERT Academic Publishing, [2010]  ©2010 . iii, 74 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Extending temporal logic with omega-automata

    kniha

      Půjčit

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

Přijmout všeNastaveníOdmítnout vše