西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

B方法/(美)J-R Abrial著 裘宗燕译

出版发行项:

北京:电子工业出版社,2004

ISBN及定价:

7-5053-9339-1/CNY57.00

载体形态项:

22,526页;26cm

并列正题名:

The B-Book Assigning Programs to Meanings

丛编项:

国外计算机科学教材系列

个人责任者:

(美) Abrial J-R 著

个人次要责任者:

裘宗燕 译

学科主题:

软件设计-教材

中图法分类号:

TP311.5

一般附注:

并列题名：The B-Book Assigning Programs to Meanings

版本附注:

Cambridge University Press授权出版

责任者附注:

J-R Abrial，世界著名的计算机科学家，是对软件形式化方法及其应用做出最重要贡献的人物之一。

提要文摘附注:

本书由4部分组成，内容涵盖B方法的所有方面，这些部分分别介绍B方法所用的数学基础，用B方法描述软件系统规范的语言技法，基本程序结构和程序实例，系统模块化、分层设计和精化。

豆瓣简介：