| 暂存书架(0) | 登录

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

题名/责任者:
Z规范及其使用方法/赵正旭, 温晋杰, 赵卫华著
出版发行项:
北京:科学出版社,2015
ISBN及定价:
978-7-03-044787-6/CNY40.00
载体形态项:
144页:图;24cm
个人责任者:
赵正旭 著
个人责任者:
温晋杰 著
个人责任者:
赵卫华 著
学科主题:
程序设计-方法
中图法分类号:
TP311.11
书目附注:
有书目 (第113-115页) 和索引
提要文摘附注:
本书共分为10章, 主要内容包括: 绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.11/40 01155106   西区4层      可借
TP311.11/40 01155107   东3层4区      可借
显示全部馆藏信息
借阅趋势

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