Počet záznamů: 1
Coloured Petri Nets
Údaje o názvu Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen Osobní jméno Jensen, Kurt, 1950- (autor) Vyd.údaje Berlin : Springer, c2009 Fyz.popis xi, 384 s. ISBN 9783642002830 (váz.) Dal.odpovědnost Kristensen, Lars Michael (autor) Předmět.hesla Petriho sítě Petri nets * modelování a simulace modeling and simulation * softwarové inženýrství software engineering Forma, žánr monografie monographs Konspekt 004.9 - Speciální počítačové metody. Počítačová grafika MDT 519.179.2 , 519.86/.87 , 004.94 , 004.41 , (048.8) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/919 (PřF) 3134028907 PřF PřF, Knihovna Doba výp. 30 dní
Počet záznamů: 1