摘要: 1.整体总结 本单元三次作业我都做到了有效通过,算是一个小的进步,但编程能力和学习理解的程度还是不到同学们的平均水平。总体来说,理论课方面算是充分理解,作业也在较为详细的指导书的帮助下顺利完成,但是在强测和互测方面还是收获甚微,有很都需要改进的地方。 2.JML理论基础和应用工具链 经过三个星期的学 阅读全文
posted @ 2020-05-22 13:51 刘家琪 阅读(164) 评论(0) 推荐(0) 编辑