© 2026 Course Rater

About Join Us Support Privacy

CISC 422: Formal Methods in Software Engineering - Student Reviews & Tips | CourseRater

Overview Reviews Discussions Study Resources

Home
Queen's University
Faculty of Arts and Science
CISC 422

CISC 422

Formal Methods in Software Engineering

Thinking...

Learning Hours: 120 (36 Lecture, 84 Private Study)

Description

Learning Hours: 120 (36 Lecture, 84 Private Study)

Study Resources

Reviews

Discussions

Similar courses

Discussions

Syllabus

https://www.queensu.ca/academic-calendar/course-search/#

Queensu