CMPE 58S - Computer Aided Verification, Fall 2011
General Information
- Instructor: Asst. Prof. Alper Şen (Office: ETA 25)
- Time and Place: Tuesday 10:00 pm - 13:00 pm, ETA A5
- Office Hours: By appointment
Home & News
| Date | Announcements |
|---|---|
| 17.11.2011 | Exam on Nov 29. HW6 is posted. |
| 18.10.2011 | Lecture notes and projects posted. |
| 11.10.2011 | Lecture 3 and HW 4 posted. |
| 27.09.2011 | Here is the first lecture. lecture1.pdf |
| Boğaziçi
University Department
of Computer Engineering P.K. 2 TR-34342 Bebek, Istanbul, TURKEY |