首頁資訊資料學生資源求助討論 English

Computer-Aided Verification
計算機輔助驗證
資訊工程研究所
國立中正大學
621 嘉義縣民雄鄉三興村160號


What's New???

Paper Presentation Schedule
Lab assignment (二) 期限 2006/6/7

Instructor
熊博安 副教授
電子郵件: pahsiung@cs.ccu.edu.tw
電話: (05)2720411 ext. 33119
研究室: EA-512
排程
上課時間: 星期四 (13:10 ~ 16:00)
面談時間: 預約 (寫電子郵件)
教室 工程一館 - 205 室
大綱 課程進度
講義 每堂課所使用的講義
作業 作業、解答、評分
專案 專案小組、報告時程、專案成果、專案評分
學生 修課學生名單與課程成績
資源 課程工具與相關資料

九十三年二月十一日更新