Počet záznamů: 1  

Coloured Petri nets

  1.   Půjčit
    Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen.    Berlin ; Heidelberg : Springer, 2009 . xi, 384 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Zobrazit informace o knize na stránce www.obalkyknih.cz

    kniha

      Půjčit

Počet záznamů: 1  

  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