Košík

  Odznačit vybrané:   0
  1. Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.    Berlin :  Springer,  c2008 . xvi, 304 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  Odznačit vybrané:   0