Počet záznamů: 1  

Coloured Petri nets

  1. Údaje o názvuColoured 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
    NakladatelBerlin ; Heidelberg : Springer, 2009
    Fyz.popisxi, 384 stran : grafy, schémata
    ISBN978-3-642-42581-3 (brožováno)
    Poznámky o skryté bibliografii a rejstřícíchObsahuje 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)
    Konspekt519.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ódLokaceDislokaceInfo
    M2/1518 (PřF)3134046415PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně
    Coloured Petri nets

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.