沈阳工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:46

题名/责任者:
Z规范及其使用方法/赵正旭, 温晋杰, 赵卫华著
出版发行项:
北京:科学出版社,2015
ISBN及定价:
978-7-03-044787-6/CNY40.00
载体形态项:
144页:图;24cm
个人责任者:
赵正旭
个人责任者:
温晋杰
个人责任者:
赵卫华
学科主题:
程序设计-方法
中图法分类号:
TP311.11
责任者附注:
赵正旭, 教育部第四批长江学者特聘教授, 博士生导师。石家庄铁道大学校长助理。
书目附注:
有索引
提要文摘附注:
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中, Z语言精确的描述软件系统”做什么”而不涉及”怎么做”, 只对目标软件系统进行功能描述。通过明确定义状态和操作来建立一个系统模型 (使系统从一个状态转换到另一个状态)。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.11/032 91014773  - 下架二线库二     非可借 下架二线库二
TP311.11/032 91014774  - 自然科学阅览室三     可借 自然科学阅览室三
TP311.11/032 91014775  - 自然科学阅览室三     可借 自然科学阅览室三
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架