B方法

计算机 · BOOK PROFILE

《B方法》

作者:阿布里亚尔 (AbrialJ-R)

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

ABOUT THE BOOK

内容简介

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

READING NOTES

《B方法》读书笔记与读后感

共 0 篇
相关文章正在整理中

本页已收录书籍信息与正版资源获取说明,读书笔记和读后感会持续更新。

PDF

PDF · E-BOOK · DOWNLOAD

《B方法》PDF、电子书与下载说明

本站专注于《B方法》的读书笔记和读后感,不提供未经授权的 PDF 或电子书文件下载。建议通过出版社官网、正规数字书店或所在地公共图书馆检索正版电子书;获取前请核对作者、出版社与版本信息。

  • 优先选择出版社或正规阅读平台
  • 通过公共图书馆查询纸书及数字馆藏
  • 谨慎识别来源不明的网盘和下载链接
获取更多资讯请关注《百智汇社》公众号,回复“bk114973”获取。微信扫码关注,获取更多阅读与书籍资讯
百智汇社公众号二维码