有关形式化方法著名论文的集合,由日本九州大学的教授整理的
2023/10/4 18:42:24 37.86MB 形式化方法 z方法 软件工程
1
形式化方法教材,教材及练习题答案。
Ch01-Ch16,APPENDIX2
2023/9/24 22:30:51 15.18MB 形式化方法
1
软件工程形式化方法,Z语言,期末考试复习要点。
包括各个章节的知识点可经典例题。
2023/7/27 3:42:53 390KB Z语言 软件形式化方法 期末考试
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡