程序的形式验证-相关基础(编辑修改稿)内容摘要：
X • 不动点： f(x)=x • X=(X,)： 完全偏序 • f： 单调、连续 • 最小不动点： f = 有向图 • V： 点的集合 • E： 边的集合 • (V。阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体)，仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权，请联系我们反馈本站将在三个工作日内改正。