Curriculum
BS Software Engineering
Sir Syed University of Engineering
and Technology
and Technology
Formal Methods in Software Engineering
Course Code
SWE-302
Credit Hours:
3+0
Pre-requisite:
MS-204
Status:
Don't DELETE, This is hidden,
styling and css is used for custom data showing,
Don't DELETE, This is hidden,
styling and css is used for custom data showing,
Program related courses:
2020F SE Electives
2020F SE University Electives
2020F SE Supporting Electives
Semester 1
Semester 2
Semester 3
Semester 4
Semester 5
Semester 6
Semester 7
Quick Links
Lab Schedules
Fee Structure
View All Programs