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 证明义务

作者简介

B方法，ISBN：9787505393394，作者：（美）J-R Abrial著；裘宗燕译；裘宗燕译

图书封面

---

 B方法下载

---