B方法

图书标准信息

• 作者 [美]J-R Abrial 著；裘宗燕 译
• 出版社 电子工业出版社
• 出版时间 2004
• ISBN 9787505393394
• 定价 57.00元
• 开本 26cm
• 页数 526页
• 正文语种 简体中文
• 原著语种 English
• 丛书 国外计算机科学教材系列

【内容简介】

本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。