Skip to main content

    SE3102(2021/22)

    1. Home
    2. Courses
    3. List of Courses
    4. Faculty of Computing
    5. Department of SE
    6. Year II Semester I
    7. SE3102(2021/22)
    8. Summary

    Formal Methods (2021/22)

    • Teacher: Prasad Kumara
    • Teacher: PMAK Wijerathne

    Skip Calendar
    Hide Calendar blockShow Calendar block

    Calendar

    April 2025

    Mon Tue Wed Thu Fri Sat Sun
      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
    28 29 30        
    • Hide site events
    • Hide category events
    • Hide course events
    • Hide group events
    • Hide user events
    • Hide other events
    Skip Navigation
    Hide Navigation blockShow Navigation block

    Navigation

    • Home

      • ForumSite announcements

      • Courses

        • List of Courses

          • Centre for Open and Distance Learning (CODL)

          • Faculty of Agricultural Sciences

          • Faculty of Applied Sciences

          • Faculty of Geomatics

          • Faculty of Management Studies

          • Faculty of Medicine

          • Faculty of Social Sciences and Languages

          • Faculty of Technology

          • Online Examinations

          • Staff Development Center

          • Faculty of Computing

            • Department of CIS Old Syllabus

            • Department of CIS New Syllabus

            • Department of DS

            • Semester I End Semester Examination (ONLINE) – Jan...

            • Department of SE

              • Year I Semester I

              • Year I Semester II

              • Year II Semester I

                • SE3101(2021/22)

                • SE3102(2021/22)

                • SE3103(2021/22)

                • SE3104(2021/22)

                • SE3105(2021/22)

                • SE3106(2021/22)

                • SE3107(2021/22)

                • SE-EAP-2101(2021/22)

                • SE-EAP-2101 (2020/21)

                • SE3107 (2020/21)

                • SE3106 (2020/21)

              • Year II Semester II

              • Year III Semester I

              • Year III Semester II

              • Year IV Semester I

              • Year IV Semester II

            • End Semester Examinations

            • FOME

          • CCS

          • Lahiruni's course

    Contact Us

    Sabaragamuwa University of Sri Lanka
    PO Box 02
    Pambahinna, Sri Lanka - 70140

    Tel - 0452280049
    Email - vleadmin@sab.ac.lk

    About Us

    SUSL
    Graduate Studies
    CODL

    Research

    Research Grants
    Ongoing Research
    Journals

    Quick Links

    Main Library
    Digital Library
    Students Counsellors

    © 2020, All rights reserved by Sabaragamuwa University of Sri Lanka

    Data retention summary
    Get the mobile app