Cod | Denumire | |||
MI253 | Metode formale în programare | |||
MI365 | Programare bazată pe componente | |||
MA264 | Specificare algebrica | |||
MV043 | Proiect (1) | |||
Cod | Denumire | |||
MI369 | Demonstrare automata | |||
MID1006 | Servicii Web şi tehnologii middleware | |||
MI368 | Modelarea softului - noi tendinte, concepte, tehnologii si instrumente | |||
MV044 | Proiect (2) | |||