Skip to main content
NCKU Moodle
  • English ‎(en)‎
    简体中文 ‎(zh_cn)‎ 日本語 ‎(ja)‎ 正體中文 ‎(zh_tw)‎ English ‎(en)‎
  • You are not logged in. (Log in)

Course info

  • Home
  • Courses
  • 1081_N26I300
  • Summary

1081_N26I300 1081_正規驗證之理論與應用 THEORY AND APPLICATION OF FORMAL VERIFICATION

課程大綱(Course Outline)
  • 教師(teacher): 陳盈如

  • 1081_N26I300
  • Home

國立成功大學 版權所有 | Copyright © National Cheng Kung University all rights reserved

Site:172.16.249.86
國立成功大學計算機與網路中心
  • http://cc.ncku.edu.tw/
  • sfkuo@ncku.edu.tw
  • (06)275-7575 #61056
  • English ‎(en)‎
    • 简体中文 ‎(zh_cn)‎
    • 日本語 ‎(ja)‎
    • 正體中文 ‎(zh_tw)‎
    • English ‎(en)‎
istanbul travesti sitesi travesti bodrumtravesti şişli
izmir travesti travesti adanatravesti istanbulistanbul trv
Top