现在读的MSE软件工程硕士，本学期在学《程序验证理论》，特别难，用的是英文书，没中译本，其中讲到很多离散数学以及更深的其他东西，比如形式语义等等。老师讲的好，估计也是最后一次集中系统学数学了，希望大家学好。呵呵
相关文章：
-
2022-01-07
-
2021-05-12
-
2022-02-08
-
2021-12-07
-
2021-11-10
-
2021-12-02
-
2021-06-01
猜你喜欢
-
2022-02-02
-
2021-08-03
-
2022-01-13
-
2021-08-11
-
2021-08-01
-
2022-03-04
-
2022-03-09
相关资源
-
下载
2021-06-24
-
下载
2022-12-14
-
下载
2023-01-02