摘要：前言 本单元作业难度较前两个单元低了许多，加上五一假期停了一次作业，给了自己一个充足的缓冲时间，总体来看本单元算是过的比较轻松。JML规格非常严谨，但是可读性比较差，需要花费大量时间读JML，而且还要多次阅读，才能发现自己在一开始理解上的错误。本单元作业写代码花费的时间并不是很多，但是给我最大的感觉 阅读全文