This web site is no longer maintained and the content may be outdated.
Please visit www.cmpe.boun.edu.tr for up-to-date information.
 
CmpE RSS
No upcoming events...

Home / Courses / CmpE 58Q
 
 
 
 
  CmpE 58Q    

Special Topics in CmpE: Formal Verification of Hardware and Software Systems

Course Offerings:

Spring 2013Alper Şen
Spring 2012Alper Şen
Spring 2011Alper Şen
Spring 2010Alper Şen
Spring 2009Alper Şen
 
 
Boğaziçi University Department of Computer Engineering
Address: 34342 Bebek, Istanbul, TURKEY
Phone: +90 212 359 4523-24 Fax: +90 212 287 2461
general information: infocmpe.boun.edu.tr   webmaster: webmastercmpe.boun.edu.tr