Number of the records: 1
Coloured Petri Nets
Title statement Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen Personal name Jensen, Kurt, 1950- (author) Issue data Berlin : Springer, c2009 Phys.des. xi, 384 s. ISBN 9783642002830 (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 Conspect 004.9 - Speciální počítačové metody. Počítačová grafika UDC 519.179.2 , 519.86/.87 , 004.94 , 004.41 , (048.8) Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/919 (PřF) 3134028907 PřF PřF, Knihovna Date due 30 days
Number of the records: 1