交付:初始化 / 保持 / 终止

👁️ 0 人浏览 💬 0 人评论 ❤️ 添加收藏

数组 [17, 24, 15, 13, 23]。把不变式证明的三步各写成一次检查,三个结论一起输出。

提交你的答案
请登录后提交答案。
去登录
代码编辑器
Ctrl + Enter 运行
本次输入:
输出:

                        
👩‍🏫
AI
💬 题目评论

全部评论