Number of the records: 1
Petri nets for system engineering
Title statement Petri nets for system engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk Personal name Girault, Claude, 1940- (author) Issue data Berlin ; Heidelberg ; New York : Springer Verlag, 2003 Phys.des. xvi, 607 s., 190 il. ISBN 3540412174 Note Lit Rejstř. Another responsib. Valk, Rüdiger, 1945- (author) Subj. Headings softwarové inženýrství software engineering * systémové inženýrství systems engineering * Petriho sítě Petri nets * počítačové sítě computer networks UDC 004.41 , 004.72/.73 , 303.725.36 Country Německo ; Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/229 (PřF) 3134015881 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1