MID1005 | Formal Methods in Parallel Programming |
Teaching Staff in Charge |
Assoc.Prof. NICULESCU Virginia, Ph.D., vniculescucs.ubbcluj.ro |
Aims |
References |
Assessment |
Links: | Syllabus for all subjects Romanian version for this subject Rtf format for this subject |