University of Calgary
Jump to Headline
Jump to Navigation
Jump to Content
Jump to Footer
RSS
Facebook
Twitter
Home
Future Students
Current Students
Alumni
Community
Faculty & Staff
Search UofC:
IT
HR
My U of C
Contacts
Contacts Directory
Electrical and Computer Engineering Contacts
Site Navigation
Home
PROSPECTIVE STUDENTS
CURRENT STUDENTS
COMMUNITY
ALUMNI
FACULTY & STAFF
Home
Contact Us
Directory of People
Course Listings
»
Winter 2017
» SENG 523 - Formal Methods - Winter 2017
SENG 523 - Formal Methods - Winter 2017
Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.
Hours
H(3-2T)
Prerequisite(s)
Software Engineering 403 or 411.
Sections
LEC 1
TR 15:30 - 16:45
Yingxu Wang
TUT 1
F 09:00 - 10:50
Yingxu Wang
This course will be offered next in
Fall 2017
.
top
Powered by
UNITIS
.
More features
.
Sign In
Quick Links
Contacts Search
Browse Directory
Emergency Contacts