Master Course
Automatic Program Analysis
WebHome
- Education Page
- Description
- Literature
- Schedule
- Assignments
- Software
Center
Master Program
Web Home
Apa0506
Master Course Program Analysis
This is the homepage of the master course on program analysis that will be taught in the fourth period of the 2005-2006 academic year.Overview
- Course Description: description of topics of the course
- Education Page: information on the official department site with times and rooms
- Course Schedule: detailed planning of lectures
- Registered Students: students registered in Osiris
- Slides of the lectures
Assignments
- Course Assignments: detailed planning of assignments and deadlines
- Course Software: software needed for doing (some of) the assignment