Počet záznamů: 1  

Coloured petri nets

  1. Údaje o názvuColoured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen
    Osobní jméno Jensen, Kurt, 1950- (autor)
    Vyd.údajeDordrecht : Springer, c2009
    Fyz.popisxi, 384 s. : il., grafy ; 25 cm
    ISBN978-3-642-00283-0 (váz.)
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii na s. 375-379, rejstřík
    Dal.odpovědnost Kristensen, Lars Michael (autor)
    Předmět.hesla Petriho sítě * distribuované systémy * matematické modelování
    Forma, žánr příručky
    MDT519.1 * 519.6
    Země vyd.Nizozemsko
    Jazyk dok.angličtina
    Druh dok.Knihy
    SignaturaČár.kódDislokaceVolný výběrInfo
    KB 166633300029167IN - Barilla Ing.pouze prezenčně
    KB 166633300029168volný výběr A610 2009Doba výp. 31 dní

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.