您好,欢迎访问三七文档

上传文档

当前位置:首页 > 商业/管理/HR > 信息化管理 > 基于Z语言的互联网登陆系统的形式化规格与验证

基于Z语言的互联网登陆系统的形式化规格与验证

整理文档很辛苦,赏杯茶钱您下走!

¥ 5 元

还剩... 页未读,继续阅读

免费阅读已结束,点击付费阅读剩下 ...

阅读已结束,您可以下载文档离线阅读

关 键 词:
基于 语言 互联 互联网 联网 登陆 系统 形式 形式化 规格 验证
  三七文档所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
关于本文

本文标题:基于Z语言的互联网登陆系统的形式化规格与验证

链接地址:https://www.777doc.com/doc-5923331 .html

贪戒

共126篇文档

文档简介:

格式: pdf

大小: 289 KB

时间: 2020-06-15

< / 5 >
下载文档
Copyright © 三七文档 All Rights Reserved. 鲁ICP备2024069028号-1
×
保存成功