书目信息 |
| 题名： |
Z规范及其使用方法
|
|
| 作者： | 赵正旭 ， 温晋杰 ， 赵卫华 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2015 |
|
| 页数： | 144页 | |
| 开本： | 24cm | |
| 丛书名： | ||
| 单 册： | ||
| 中图分类： | TP301.2 | |
| 科图分类： | ||
| 主题词： | 形式语言--基本知识 | |
| 电子资源： | ||
| ISBN： | 978-7-03-044787-6 | |
| 000 | 00865nam0 22002531 450 | |
| 001 | 1729922965 | |
| 005 | 20170609102420.92 | |
| 010 | @a978-7-03-044787-6@dCNY40.00 | |
| 096 | @aTP311.11@bzzx | |
| 100 | @a20170606d2015 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 001yy | |
| 200 | 1 | @aZ规范及其使用方法@9Z gui fan ji qi shi yong fang fa@f赵正旭，温晋杰，赵卫华著 |
| 210 | @a北京@c科学出版社@d2015 | |
| 215 | @a144页@d24cm | |
| 330 | @a本书共分为10章，主要内容包括：绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。 | |
| 606 | 0 | @a形式语言@x基本知识 |
| 690 | @aTP301.2@v5 | |
| 701 | 0 | @a赵正旭@9zhao zheng xu@c(计算机)@4著 |
| 701 | 0 | @a温晋杰@9wen jin jie@4著 |
| 701 | 0 | @a赵卫华@9zhao wei hua@c(计算机)@4著 |
| 801 | 0 | @aCN@b郑州日成@c20170606 |
| 905 | @a241250@dTP301.2@e4 | |
| Z规范及其使用方法/赵正旭，温晋杰，赵卫华著.-北京：科学出版社，2015 |
| 144页；24cm |
| ISBN 978-7-03-044787-6：CNY40.00 |
| 本书共分为10章，主要内容包括：绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。 |
| ● |
| 相关链接 |
正题名：Z规范及其使用方法
索取号：TP301.2/4
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1688222 | 216882229 | 信息技术学院资料室/ [索取号:TP301.2/4] | 在馆 | |
| 2 | 1688223 | 216882238 | 信息技术学院资料室/ [索取号:TP301.2/4] | 在馆 |