1132_Computational Logic and Software Verification_343370
Registration：Now ~ Any Time
Course Period：Now ~ Any Time
LINE sharing feature only supports mobile devices

Course Intro

Course Resources

  • [錄] 02190905
  • [錄] 02260931
  • [錄] 03050905
  • [錄] 03120907
  • [錄] 03260907
  • [錄] 04020912
  • [錄] 04090906
  • [錄] 04230907
  • [錄] 04300908
  • [錄] 05070909
  • [錄] 05140905
  • [錄] 05210908
  • [錄] 05280916
  • [錄] 06040908
  • [錄] 06110907
  • [錄] 06180909
Teacher / 

Related Courses

1141_Information Security and System Audit_350444
魏銪志
Period：Not set
1141_Formal Languages_349986
林濬璈
Period：Not set
1132_Building Deep Learning Applications_342033
賴冠廷
Period：Not set
1112_Machine Learning -assisted Computer Auditing_317317
彭祖乙
Period：Not set
LINE sharing feature only supports mobile devices