Number of the records: 1  

Coloured Petri Nets

  1.   Borrow
    Title statementColoured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen
    Personal name Jensen, Kurt, 1950- (author)
    Issue dataBerlin : Springer, c2009
    Phys.des.xi, 384 s.
    ISBN9783642002830 (váz.)
    Another responsib. Kristensen, Lars Michael (author)
    Subj. Headings Petriho sítě Petri nets * modelování a simulace modeling and simulation * softwarové inženýrství software engineering
    Form, Genre monografie monographs
    Conspect004.9 - Speciální počítačové metody. Počítačová grafika
    UDC 519.179.2 , 519.86/.87 , 004.94 , 004.41 , (048.8)
    CountryNěmecko
    Languageangličtina
    Document kindBooks
    View book information on page www.obalkyknih.cz

    book

      Borrow
    Call numberBarcodeLocationSublocationInfo
    M2/919 (PřF)3134028907PřFPřF, KnihovnaDate due 30 days

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all