西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Z规范及其使用方法/赵正旭, 温晋杰, 赵卫华著

出版发行项:

北京:科学出版社,2015

ISBN及定价:

978-7-03-044787-6/CNY40.00

载体形态项:

144页:图;24cm

个人责任者:

赵正旭 著

个人责任者:

温晋杰 著

个人责任者:

赵卫华 著

学科主题:

程序设计-方法

中图法分类号:

TP311.11

书目附注:

有书目 (第113-115页) 和索引

提要文摘附注:

本书共分为10章, 主要内容包括: 绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。

豆瓣简介：