Code | Subject | |||
MI256 | Formal methods in specification | |||
MI364 | Software metrics | |||
MI365 | Component-based programming | |||
MV041 | Project (1) | |||
Code | Subject | |||
MI253 | Formal methods in programming | |||
MI255 | Programming in Internet | |||
MI363 | Component-based development methods | |||
MV042 | Project (2) | |||