（日）铃木芳正著；李银珠等译1989 年出版234 页ISBN：7207011474
B型血人的性格与处世方法，ISBN：9787207011473，作者：（日）铃木芳正著；李银珠等译
B.K.Bhattacharyya著；郝书俭，郝书翰编译1993 年出版251 页ISBN：7502809589
李大友主编；屠立德，屠祁编著；全国高等学校计算机教育研究会教材与课程建设委员会组编1996 年出版274 页ISBN：7111049896
（美）J-R Abrial著；裘宗燕译2004 年出版526 页ISBN：7505393391
本书是有关B方法的最重要的著作，由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件形式化方法之一，人们用它编写软件系统规范，进行系统设计和编程。B方法已被用在一些极其重要的软件项目...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
严兰兰著2018 年出版204 页ISBN：9787307202368
本书以CAD/CAM系统中广泛使用的Bézier方法与B样条方法为研究对象，以Bézier方法和B样条方法的形状调整、Bézier方法和B样条方法的光滑拼接、B样条方法的插值等问题为研究主线，旨在给出构造形状可调Bézier...
国际电工委员会 IEC 汽轮机热力验收试验规程 文件953-2 方法B
能源部西安热工研究所，能源部热力发电设备及材料质量检测中心2222 年出版97 页ISBN：
