CmpE 58S Sp.Tp. Computer Aided Verification 

Catalog Description: 

Study of special topics in computer engineering. The topic will be chosen among the recent technological or theoretical developments in computer engineering.

Credits: 

(3+0+0) 3 ECTS 10
Link Year Semester Course Page Instructor Course Schedule Lab Schedule PS Schedule
view 2018 Fall Alper Şen ThThTh 234 BM A6 | BM A6 | BM A6
view 2017 Fall Alper Şen ThThTh 234 BM A6 | BM A6 | BM A6
view 2016 Fall Alper Şen TTT 234
view 2015 Fall Alper Şen
view 2014 Fall Alper Şen
view 2013 Fall Alper Şen
view 2012 Fall Alper Şen

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461
 

Connect with us

We're on Social Networks. Follow us & get in touch.