Výsledky vyhledávání
- Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen . Dordrecht : Springer, c2009 . xi, 384 s.
Umístění Volné Nedostupné/Prezenčně Vypůjčené Rezervace IN - Barilla Ing. 0 0/1 0 0 volný výběr 1 0/0 0 0