Košík

  Odznačit vybrané:   0
  1. Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen.    Berlin :  Springer,  c2009 . xi, 384 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000

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