B方法
艾伯瑞尔
电子工业出版社
出版时间：
2004-1
出版社：
电子工业出版社
作者：
艾伯瑞尔
页数：
526
字数：
883000
Tag标签：
无
内容概要
本书是有关B方法的最重要的著作，由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件形式化方法之一，人们用它编写软件系统规范，进行系统设计和编程。B方法已被用在一些极其重要的软件项目中并取得了很大成功。本书由4部分组成，内容涵盖了B方法的所有方面，这些部分分别介绍B方法所用的数学基础，用B方法描述软件系统规范的语言记法，基本程序结构和程序实例，系统模块化、分层设计和精化。本书适用于计算机科学工作者、软件系统开发工作者和计算机专业的学生，可作为高校有关软件形式化方法和软件系统设计课程的教材，或者作为B方法的标准参考手册。
作者简介
J-R Abrial，世界著名的计算机科学家，是对软件形式化方法及其应用做出了最重要贡献的人物之一。他从20世纪70年代开始研究数据结构的程序的形式化规范问题，20世纪70年代后期在牛津大学程序设计研究组（PRG）访问期间完成了有关形式化规范语言Z的开创性工作。为了将形式
书籍目录
第一部分 数学 第1章 数学推理 第2章 集合形式 第3章 数学对象第二部分 抽象机 第4章 抽象机引论 第5章 抽象机的定义 第6章 抽象机理论 第7章 大型抽象机 第8章 抽象机的实例第三部分 程序设计 第9章 顺序和循环 第10章 程序设计实例第四部分 精化 第11章 精化 第12章 构造大型抽象机 第13章 精化的实例附录 附录A 记法综述 附录B 语法 附录C 定义 附录D 可见性规则 附录E 规则和公理 附录F 证明义务
图书封面
图书标签Tags
无
广告
下载页面
B方法这本书比较难懂，难度还是比较大！！！