书籍简介:

本书是有关B方法的最重要的著作，由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件形式化方法之一，人们用它编写软件系统规范，进行系统设计和编程。B方法已被用在一些极其重要的软件项目中并取得了很大成功。本书由4部分组成，内容涵盖了B方法的所有方面，这些部分分别介绍B方法所用的数学基础，用B方法描述软件系统规范的语言记法，基本程序结构和程序实例，系统模块化、分层设计和精化。

书籍规格:

书籍详细信息
书名	B方法站内查询相似图书
丛书名	国外计算机科学教材系列
	9787505393394 《B方法》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	49.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	5000

全网搜索试读资源

书籍信息归属:

B方法是电子工业出版社于2004.05出版的中图分类号为 TP311.5 的主题关于软件设计－教材的书籍。