论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 大学学报期刊 \
- 上海大学学报(英文版)期刊 \
一个职员雇用系统的Z规格说明
一个职员雇用系统的Z规格说明
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
一个Object-Z规格说明的证明责任产生器
Object-Z
Z/EVES
证明责任
形式验证
Z规格说明的推理与验证
Z规格说明
推理
验证
形式化
条件
一种基于学分制排课系统的Z规格说明
形式化方法
规格说明
Z语言
排课系统
规格说明语言Z的类型检查
Z规格说明
模式
类型检查
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 一个职员雇用系统的Z规格说明 | ||
| 来源期刊 | 上海大学学报(英文版) | 学科 | |
| 关键词 | |||
| 年，卷（期） | 2000,（2） | 所属期刊栏目 | 信息工程与计算机 |
| 研究方向 | 页码范围 | 123-127 | |
| 页数 | 5页 | 分类号 | |
| 字数 | 语种 | 英文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1989(1)
- 参考文献（1）
- 二级参考文献（0）
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
上海大学学报(英文版)
主办单位：
出版周期：
季刊
ISSN：
CN：
开本：
出版地：
邮发代号：
创刊时间：
语种：
eng
出版文献量（篇）
1423
总下载数（次）
1
总被引数（次）
2911
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
上海大学学报(英文版)2011
上海大学学报(英文版)2010
上海大学学报(英文版)2009
上海大学学报(英文版)2008
上海大学学报(英文版)2007
上海大学学报(英文版)2006
上海大学学报(英文版)2005
上海大学学报(英文版)2004
上海大学学报(英文版)2003
上海大学学报(英文版)2002
上海大学学报(英文版)2001
上海大学学报(英文版)2000
上海大学学报(英文版)1999
上海大学学报(英文版)2000年第Z1期
上海大学学报(英文版)2000年第4期
上海大学学报(英文版)2000年第3期
上海大学学报(英文版)2000年第2期
上海大学学报(英文版)2000年第1期
