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