Universitatea "Babes-Bolyai" Cluj-Napoca
Facultatea de Matematica si Informatica
FISA DISCIPLINEI

Metode formale in programare
Cod
Semes-
trul
Ore: C+S+L
Credite
Tipul
Sectia
MB022
2
2+1+0
0
obligatorie
Scoala doctorala
Cadre didactice indrumatoare
Prof. FRENTIU Militon, mfrentiu@cs.ubbcluj.ro
Obiective
Bibliografie
Evaluare