Počet záznamů: 1
Petri nets for system engineering
Údaje o názvu Petri nets for system engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk Osobní jméno Girault, Claude, 1940- (autor) Vyd.údaje Berlin ; Heidelberg ; New York : Springer Verlag, 2003 Fyz.popis xvi, 607 s., 190 il. ISBN 3540412174 Poznámka Lit Rejstř. Dal.odpovědnost Valk, Rüdiger, 1945- (autor) Předmět.hesla 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 MDT 004.41 , 004.72/.73 , 303.725.36 Země vyd. Německo ; Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/229 (PřF) 3134015881 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1