ISSR Elearning

You are not logged in. (Login)

Available Courses

  • The objective of the course is to introduce the students to language-

    independent systematic methods of program verification, analyzing, testing and debugging. The course consists of two main parts: Formal methods for verifying Computer programs and Static and Dynamic Program Analysis. These topics represent software engineering approach to program verification.

  • The objective of the course is to introduce the students to data abstractions and other problem-solving tools. A comprehensive coverage of advanced programming and problem solving using the object oriented approach. The course materials provide the students with a superior foundation in data structure, object-oriented programming and other modern problem-solving techniques. Preparing students for Group projects to apply the learned techniques in solving real problems.

Skip Calendar

Calendar

Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 Today Saturday, 28 January 28
29 30 31