会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
cxy1999
博客园
首页
新随笔
联系
订阅
管理
05 2019 档案
第三单元oo作业总结
摘要:第三单元oo作业总结 第一部分:梳理JML语言的理论基础、应用工具链情况 理论基础 JML语法梳理 关于jml具体语法的梳理在给出的指导书中给出的基本上已经足够应用,以下为一部分常用语句的梳理。 表达式:完成JML语句的编写 原子表达式:如\result, \old(expr)等等 原子表达式:如\
阅读全文
posted @
2019-05-22 16:09
cxy1999
阅读(145)
评论(1)
推荐(0)
公告