2020年5月23日
面对对象编程 之 第三单元总结
摘要： 面向对象编程 之 第三单元总结 针对 第三单元的三次作业和课程内容 ，在独立思考的前提下在博客园完成技术博客的撰写 (1)梳理 JML 语言的 理论基础、应用工具链 情况 (2) (选做，能较为完善完成的酌情加分) 部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果。有可能要补充 阅读全文
posted @ 2020-05-23 14:48 daytripper 阅读(238) 评论(0) 推荐(0) 编辑