2021年5月29日

OO第三单元总结

摘要： OO第三单元——JML总结 前言 （这次总结还是一份踩坑记录，作业难度降下来了，坑倒是一个没少踩，继续亡羊补牢，从失败中学习ing） 这单元学习了JML相关，这三次作业也是根据JML的规格实现程序。 单元重点 条框本身：JML本身的语法看一下手册不难看懂，但难的是几百行JML全部符合 细心 ：说是品 阅读全文

posted @ 2021-05-29 21:28 骤雪封光 阅读(79) 评论(0) 推荐(0)

导航