Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FIŞA DISCIPLINEI

Codul	Disciplina	
MID1025	Modelarea softului	

Specializarea	Semestrul	Ore: C+S+L	Categoria	Statutul	
Metode formale în programare - în limba engleză	2	2+0+2	specialitate	obligatorie	

Titularii de disciplină	Lect. Dr. CHIOREAN Ioan Danut, chiorean@cs.ubbcluj.ro	
Obiective		
Conţinutul		
Bibliografie		
Evaluare