Počet záznamů: 1
Coloured petri nets
Údaje o názvu Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen Osobní jméno Jensen, Kurt, 1950- (autor) Vyd.údaje Dordrecht : Springer, c2009 Fyz.popis xi, 384 s. : il., grafy ; 25 cm ISBN 978-3-642-00283-0 (váz.) Poznámky o skryté bibliografii a rejstřících Obsahuje 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 MDT 519.1 * 519.6 Země vyd. Nizozemsko Jazyk dok. angličtina Druh dok. Knihy 
Signatura Čár.kód Dislokace Volný výběr Info KB 16663 3300029167 IN - Barilla Ing. pouze prezenčně KB 16663 3300029168 volný výběr A610 2009 Doba výp. 31 dní
Počet záznamů: 1