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) Údaje o vydání Softcover re-print of the hardcover 1st edition Nakladatel Berlin ; Heidelberg : Springer, 2009 Fyz.popis xi, 384 stran : grafy, schémata ISBN 978-3-642-42581-3 (brožováno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík 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 učebnice vysokých škol textbooks (higher) Konspekt 519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.41 , 004.94 , 519.86/.87 , 519.179.2 , (075.8) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/1518 (PřF) 3134046415 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1