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 8
Link Year Semester Course Page Instructor Course Schedule Lab Schedule
görüntüle 2018 Fall Alper Şen ThThTh 234 BM A6 | BM A6 | BM A6
görüntüle 2017 Fall Alper Şen ThThTh 234 BM A6 | BM A6 | BM A6
görüntüle 2016 Fall Alper Şen TTT 234
görüntüle 2015 Fall Alper Şen
görüntüle 2014 Fall Alper Şen
görüntüle 2013 Fall Alper Şen
görüntüle 2012 Fall Alper Şen

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz