形式化方法课程通知
通知日期
内容
3.23
3.30上课讲解所定义抽象机的同学:沈非,舒琴,江涌,梁鑫,王更
4.6 上课讲解所定义抽象机的同学:杨勇,高仲宁,代立云,李凯利,雷锦江
4.13上课讲解所定义抽象机的同学:李颖麟,管晓伟,洪阿丽,任方炯,刘洋,梁艳慧
本页及相关页面(除另声明者外)由
裘宗燕
创建维护,可自由用于各种学习活动。 其他使用需得到作者许可。