Courses

40-314 : Information Storage and Retrieval, BSc.


40-384 : Database 1, BSc.


40-404 : Software Engineering Lab, BSc.


40-474 : Software Engineering, BSc.


40-684 : Program Development from Formal Specifications, MSc.


40-745 : Formal Specification and Verification of Programms, MSc.


40-828 : Software Testing, MSc.


40-924 : Advanced Software Engineering, MSc.