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

SUBJECT

Code
Subject
MID1025 Software Modeling
Section
Semester
Hours: C+S+L
Category
Type
Formals Methods in Programming - in English
2
2+1+0
speciality
compulsory
Teaching Staff in Charge
Lect. CHIOREAN Ioan Danut, Ph.D.,  chioreancs.ubbcluj.ro
Aims
References
Assessment
Links: Syllabus for all subjects
Romanian version for this subject
Rtf format for this subject