決策程序與密碼驗證應用
Decision Procedures with Applications to Cryptographic Verification

學校臺灣科技大學
學年1122
代碼MI5316701
學分3
上課時間
週二 - 14:20-15:10
週二 - 15:30-16:20
週二 - 16:30-17:20
上課地點T7(IB-509),T8(IB-509),T9(IB-509)
教師蔡明憲
修課人數1
課程網站前往
172.68.245.48