Košík

Záznam byl přidán do košíku

1.Coloured Petri nets
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

PRF 0 0 0 1 0 0
Z košíku
Citace
Bookmark

Vybrané dokumenty
Citace

citace PRO
kniha
Půjčit

Pro plnou funkčnost těchto stránek je nutné povolit JavaScript. Zde jsou instrukce jak povolit JavaScript ve Vašem webovém prohlížeči.