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

Codul	Disciplina	
MID1005	Metode formale în programarea paralelă	

Specializarea	Sem.	Ore: C+S+L	Categoria	Statutul	
Programare bazată pe componente - în limba engleză	2	2+1+0	specialitate	obligatorie	
Metode formale în programare - în limba engleză	4	2+1+0	specialitate	obligatorie	

Titularii de disciplină	Conf. Dr. NICULESCU Virginia, vniculescu@cs.ubbcluj.ro
Conf. Dr. CHIOREAN Ioana Rodica, ioana@cs.ubbcluj.ro	
Obiective		
Conţinutul		
Bibliografie		
Evaluare