Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master

SUBJECT

Code
Subject
MID1005 Formal Methods in Parallel Programming
Section
Semester
Hours: C+S+L
Category
Type
Component-Based Programming - in English
2
2+1+0
speciality
compulsory
Formals Methods in Programming - in English
4
2+1+0
speciality
compulsory
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