形式化方法导引(熊焰, 黄文超) 2021春  课程号:CS400501
2021春  课程号:CS400501
(暂无评价)
  • 课程难度:你猜
  • 作业多少:你猜
  • 给分好坏:你猜
  • 收获大小:你猜
选课类别:计划 教学类型:理论实验课
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:专业选修 学分:3
课程主页:暂无(如果你知道,劳烦告诉我们!)
点评 写点评

还没有评论耶!放着我来!

熊焰

教师主页: 暂无

黄文超

教师主页: 戳这里

其他老师的「形式化方法导引」课

黄文超 10.0 (5) 2021春

熊焰老师的其他课

操作系统 7.8 (5) 2020秋 2019秋...
高级操作系统 7.0 (1) 2021春 2019春...
操作系统 2015秋 2012秋...
操作系统原理与设计 2013春 2010秋...
移动互连网计算及安全 2004秋 2003秋...
计算机导论 2007秋
计算机网络 2006春

黄文超老师的其他课

形式化方法导引 10.0 (5) 2021春
操作系统 7.8 (5) 2020秋 2019秋...
现代密码学理论与实践 5.2 (9) 2020秋 2019秋...
操作系统 2017秋