The B-Book:Assigning Programs to Meanings

作者：  (美)J-R Abrial著;裘宗燕译

出版社：电子工业出版社,2004

简介：　　 本书是有关B方法的最重要的著作，由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件形式化方法之一，人们用它编写软件系统规范，进行系统设计和编程。B方法已被用在一些极其重要的软件项目中并取得了很大成功。本书由4部分组成，内容涵盖了B方法的所有方面，这些部分分别介绍B方法所用的数学基础，用B方法描述软件系统规范的语言记法，基本程序结构和程序实例，系统模块化、分层设计和精化。本书适用于计算机科学工作者、软件系统开发工作者和计算机专业的学生，可作为高校有关软件形式化方法和软件系统设计课程的教材，或者作为B方法的标准参考手册。