Basket

  Untick selected:   0
  1. Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen   .  Dordrecht :  Springer,  c2009 . xi, 384 s.
    Dislocation Available Unavail./Only at library Issued Reservations
    IN - Barilla Ing.00/100
    volný výběr10/000

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.