| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Z规范及其使用方法 |
|
|
题名/责任者:
|
Z规范及其使用方法 / 赵正旭, 温晋杰, 赵卫华著 |
|
ISBN:
|
978-7-03-044787-6 价格： CNY40.00 |
|
语种:
|
汉语 |
|
载体形态:
|
144页 : 图, 肖像 ; 24cm |
|
出版发行:
|
北京 : 科学出版社, 2015 |
|
内容提要:
|
本书共分为10章, 主要内容包括: 绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。 |
|
主题词:
|
程序设计 方法 |
|
中图分类法
:
|
TP311.11 版次： 5 |
|
主要责任者:
|
赵正旭 著 |
|
主要责任者:
|
温晋杰 著 |
|
主要责任者:
|
赵卫华 著 |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01076nam0 2200289 450 001| |012015032548 005| |20151127161511.4 010| |▼a978-7-03-044787-6▼dCNY40.00 099| |▼aCAL 012015096068 100| |▼a20151127d2015 em y0chiy50 ea 101|0 |▼achi 102| |▼aCN▼b110000 105| |▼aack a 001yy 106| |▼ar 200|1 |▼aZ规范及其使用方法▼AZ gui fan ji qi s- | |hi yong fang fa▼f赵正旭, 温晋杰, 赵卫华著 210| |▼a北京▼c科学出版社▼d2015 215| |▼a144页▼c图, 肖像▼d24cm 320| |▼a有书目 (第113-115页) 和索引 330| |▼a本书共分为10章, 主要内容包括: 绪论、集合、命题、模- | |式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、- | |Z规格说明生成器。 606|0 |▼a程序设计▼Acheng xu she ji▼x方法 690| |▼aTP311.11▼v5 701| 0|▼a赵正旭▼Azhao zheng xu▼4著 701| 0|▼a温晋杰▼Awen jin jie▼4著 701| 0|▼a赵卫华▼Azhao wei hua▼4著 801| 0|▼aCN▼b人天书店▼c20150813 801| 2|▼aCN▼bWHUTL▼c20151127 998| |▼aRTBOOK
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。