登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 富足人生指南：用十年时间实现富而喜悦 》 售價：NT$ 398.0 《 少女杂货铺 Procreate可爱质感插画教程 》 售價：NT$ 356.0 《 数理人文（第1辑） 》 售價：NT$ 500.0 《 俘虏危机：大英帝国崛起的背面（1600～1850） 》 售價：NT$ 607.0 《 家庭心理健康指南：孩子一生幸福的基石 》 售價：NT$ 305.0 《 舍勒的心灵（中国现象学文库·现象学原典译丛） 》 售價：NT$ 367.0 《 租税转嫁与归宿 》 售價：NT$ 500.0 《 保险原理与实务（第五版）（普通高等学校应用型教材·金融） 》 售價：NT$ 230.0

建議一齊購買： + NT$ 577 《 生理学（第八版/本科临床/十二五规划） 》 + NT$ 808 《 《营销管理》（第14版）（最新第14版，原汁原味全彩印刷，无删减无修改！） 》 + NT$ 751 《 人力资源管理（第12版）（工商管理经典译丛 全球最经典、中国最畅销的人力资源管理教材，德斯勒经典著作的最新版本） 》 內容簡介： 形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分，它精确描述用户需求和计算机软件系统的功能，并用于软件验证和精化。z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了z规格说明的推理和求精方法。本书还介绍了面向对象的规格说明语言object—z和其他形式方法表示和工具。全书结构合理、内容丰富、实例详尽多样。各章配有习题。 《软件形式规格说明语言—z》可作为计算机、软件工程、信息安全和信息管理等专业本科生和研究生的教材，也可作为大专院校有关专业的教师参考书，还可作为从事软件工程、软件开发和软件应用的研究人员和技术人员的参考资料。 目錄： 第1章　绪论 1．1软件生命周期 1．2存在的问题 1．3形式方法 1．4形式规格说明语言z 小结 习题 第2章　一阶逻辑与集合论 2．1命题逻辑 2．2谓词逻辑 2．3一阶逻辑中的证明 2．4集合论 小结 习题 第3章　z的类型与构造单元 3．1z的类型系统 3．2扩充表示法 3．3z规格说明的构造单元 小结 习题 第4章　关系和函数 4．1关系 4．2关系的运算 4．3函数 小结 习题 第5章　模式和规格说明 5．1模式的描述功能 5．2模式的修饰和包含 5．3模式运算 5．4模式类型和通用模式 5．5规格说明文档的结构 小结 习题 第6章　序列和包 6．1序列 6．2包 小结 习题 第7章　规格说明的实例 7．1简介 7．2存储分配管理 7．3图书馆数据库管理实例 7．4自由类型的应用——命题逻辑证明器的规格说明 小结 习题 第8章　z规格说明的形式推理 8．1问题的提出和有关的概念 8．2关于严密证明 8．3一个定律库 8．4关于规格说明的推理 小结 习题 第9章　z规格说明的若干推理实例 9．1两个初始化定理的证明 9．2两个前置条件的简化 9．3规格说明中一般定理的证明 小结 习题 第10章　从规格说明到程序 10．1程序范畴与软件精化 10．2z规格说明的精化原则 10．3精化演算 10．4z的精化演算方法 10．5实例研究 小结 习题 第11章　object-z规格说明语言 11．1为何需要面向对象的z 11．2object—z语言简介 11．3操作 11．4分布运算符 11．5递归定义 11．6继承 11．7对象包含 11．8多态性 11．9类合并 11．10self常量 11．11object—z语言的工具支持 11．12object—z实例研究：银行系统 小结 习题 第12章　形式方法及其工具 12．1z规格说明语言支撑工具 12．2其他形式方法工具 12．3其他形式方法及规格说明语言 小结 习题 附录az语法 附录bz语言术语 附录cobject-z语法 c．1表示法 c．2缩写 c．3产生式 附录d部分习题解答 参考文献

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.