Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Informatikai Kar
- Szervezet
- IK Programozási Nyelvek és Fordítóprogramok Tanszék
- Kód
- IPM-22feszADSEG
- Cím
- Osztott rendszerek analízise Ea+Gy
- Tervezett félév
- Őszi
- ECTS
- 6
- Nyelv
- Irodalomjegyzék
- Murata, T.: Petri Nets, Properties, Analysis and Applications (Proc. of the IEEE. Vol. 77., no. 4, ASpr 1989, 541-580) Best, E., Devillers, R., Koutny, M.: Petri Net Algebra (Springer 2001) Hennessy M.: Algebraic Theory of Processes (MIT, 1989) Hoare, C.A.R.: Communicating Sequential Processes (Prentice-Hall, 1985)
Kurzus szakjai
Név (kód) | Nyelv | Szint | Kötelező | Tanév | ... |
---|---|---|---|---|---|
Erasmus program keretében (IK-ERASMUS-NXXX) | en | Kötelező | |||
programtervező informatikus - elosztott szoftverrendszerek (IK-PROGINF-ELSOFT-NMEN) | en | 7 |