Carnegie Mellon University

17-751 (Models of Software Systems)

This course is cross-listed with 17-651, Models of Software Systems. Please see the course description for 17-651 (also available at the URL listed below). Please note that 17-751 is a PhD level course. Please contact the instructor(s) for details related to satisfying the PhD requirement.

http://www.mse.cs.cmu.edu/